Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] [ANN] coq-lsp release 0.1.2

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [ANN] coq-lsp release 0.1.2


Chronological Thread 
  • From: Emilio Jesús Gallego Arias <e AT x80.org>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] [ANN] coq-lsp release 0.1.2
  • Date: Sun, 08 Jan 2023 20:41:06 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-data: A9a23:VkxD7KmIZ11zCOFi5I0csvTo5gwBI0RdPkR7XQ2eYbSJt1+Wr1Gzt xJMXjyCPqqLYmX1KYx1YN+080MGvJDXz99nSQo9+Sg2EltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTres1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYzx8B56r8ks156yr4GNA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0/T387F9Yq1dpNDG9Up fEoDBIPMxa60rfeLLKTEoGAh+wzfJGtO5kQ0p1i5WiJXbB8G86FGvqTo4YDhl/chegWdRraT 8cxeWo3KhPabHWjP39HVs9gzb3z2RETdRVBs32P/6MpyFLY9zx97pTtEefqeuezEJA9ckGw/ DidozWkUnn2Lue3wj2ct3mom+XnhjL+QItUFbui9/csjkf7+4AIIA1GDR28u/bRZlOCt8x3e g8q9wB1n4cOzkGlVInwbzmaoiOCh0tJMzZPKNHW+D1h24KNvVnCXjVUFmcfADA1nJJsHmRyi zdli/u1VGAw4dV5XFrHrt+pQSWO1T89C0tqicUsZA4e/9T5rIg25v4kZo86SPPdYjHdPzbq3 zDCjC86g7wVgaY2O0SHEbPv2m3ESmDhFFJd2+kudjvNA8MQTNfNi3aUwVba9+1cC42SU0OMu nMJ8+DHsr9VV8nXynbWG79VdF1M2xpjGGKB6bKIN8Z8nwlBB1b6J+i8HRkkeRk3Y55YEdMXS BOC6FoOjHOsAJdaRfUtON7gVpRCIVnIGdXqV+zdapJJaZV4cme6ENJGNSatMqGEuBZErJzTz r/CL57yVS1FV/45pNd0Ls9EuYIWKukF7Tu7bfjGI96PiNJyvVbFFelXA0jEde0j8qKPrSPc9 tsVZYPAyAxSXKe6KmPb+JIaZwJCZ3UqJ4HEm+oOfM66Iy1iBD4ADd3VyugfYIBLpfleudrJ2 XCfYXVm7mTDq0fJEii0T0xySajOWM9/pE0rPCZ3MleP3WMiULmV76weVsUWe7Z70cc+0/VxR PghUOeDC8RpVT7o1Wk8b578jYo6bzWtp1uEEBSEaQgFXaxLZlL26P69WSW37wgILC68lfVmk o2azgmBHKYyHVVzPvjZeNeE7g2Xv0FEvMlQQkGRAN1YWHu0wbhQMyar08MGeZAdGy7imAmf+ R2dWyoDhO/3pIQwztnFqIaEo6qtEMp8BkBqJHba35nnKRjl+nef/qEYXNaqZTz9UEbGyJemb 8hRzND+N6QJp0YVkoxeF70w87kyyeGyrJBnzyNlPk7xUXKVNp1aLEKr5/J/7p92+ucBuC+de F6+xd1BCLDYZOLnCAEwISQmXMSi1NYVuGX1wd0oKh7Y4g5247u1fkFANDaciCFmDeVUMaF05 cwDqcIp+wiEpR5yCem/jwdQ7HWqEnwMd44Fp6MqKtbnpSRzw24TfKGGLDH95a++TullM24oE 2eyv7XDjbEN/XjyWSM/OlaV1NUMmKlUng5ByWIDAFG7mtDloPsT9z8J+BQVSjVl9Dl249hRC ENKaXIsfb6v+g12jvdtR2qvQgFNJCOI83zLlmcmqjfrcFmKZEfscksNYf2A7WIIwVJ6JzJ7x oyV+EzhcDTtffzy4BcMZF5Ym6TdauJ1pyL/m5GBPsWaHpMFTyLvrY2waEEp9Rb2I8MDq3fWh Ott/etcZrLfMH8BkbwaEKif76wbEzqfFVxBQNZg3aIHJn7dczeMwgqzK1i9V8dOBv7S+2q6N pBeHd1OXBGAyyq+lDAXKqoSKbtSnvRyxt49Vp70BGwB6Z2zkyFItc/Oyy3Am2MbedVivsIjI If3dTjZMGixh2NRqlDdvvt/JWu0TtkVVjLShNnv3r0yKKsCl+VwfWUZ8Li+5SyVOTQ62SOkh lrIYquOwtFyzYhpoZDXLZxCIAeKeOPDDLHCtEj5ttlVdtrAPPvfrw5f+BGtIw1SOqBXQNht0 6iEtNnsxk7eobIqSCbjloKcE7VSr9CHNAaN3hkb8FEB9cdDZCPt3/fH03DocdpOitw1CgyPW V6jcMXpHTIKc441+ZGXQ3E2/9Uh52Dffve44ySnoJxgzzADhBffIorPGWDBNAlmm+xhB3E6I h+k47Cp/N8wQEGgwvMbL6kOPqKU62MPlUfrmxMdeNVY4qSVbou+h4bf
  • Ironport-hdrordr: A9a23:AAGvMaozqJWnesu1sfAHDpQaV5oBeYIsimQD101hICG9E/bo7v xG+c5x6faaskd1ZJhNo7290ey7L080lqQFh7U5Gb+jWU3Ivm6sKp9/9M/exVTbak/DH4xmpM NdmnhFaeEYZGIS5azHCUuDc+rIq+PpzEnHv4vjJjtWPGZXg2wL1XYbNjqm
  • Ironport-phdr: A9a23:ZhJCYBIv7xYsGjr23tmcuG9tWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFuLM90BSQBt2TwskHotSVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Z3ebx9LiTeybr9+M Ru7oRnMvcQKnIVuLbo8xRTOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLzhSwZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmkY oUPEeQPIORXr47zp1UArhWxCwajC//0xz9UmnP7x7E23/g7HAzE2gErAtIAsG7TrNXwLKocX uW1zKjMzTXCaPNdxDPz55bTcgg7uvGHQLN+ftDVyUkrCQzFgVKQopH5MjOP1+QCqXOb5PdnW O2xkGMmpAJ8riS1yscrkInJiZsYx1bZ/ip23Ig7P8e3SFJnYdG6CptQsTmXOopyT84/Qmxlu yk0x6MbtZO/cyUHzJsqyh/RZfCacIWE/xHuWfuQLDp4hHxoeb2xihm9/Eag1+DyWMm53VhWo idDj9LCtWgN2gTO5sWESfZx5Fmt1SiO2gzJ9+1JI104mbDGJ5Mv3LI8jpgevEbZEiPohEn7g 7Waelg49uWq8ejrf7PrrYKGOY90iwH+KaQums25AeQ3MQYOR3CV9vqg1Lzt+k35WrZKg+Urn qTas53WP9oXqrC4DgNPz4ou6QuzAy273NkWg3UKKk9OdgidgIjzIV7OJej1DfehjFSolzdm3 //HM779DpnXKXjDirjhca58605a1gUz0chS649XB7wCOv7/RFH9ud3CAhMkMQG43vzrBMhz2 48AQW6PB7WWMKLWsV+G/OIvJOyMaZcLtzvmJPko5OLigWU+mV8HcqmlxZ0XZ2ugEfR8P0qZe WbsgssGEWoSowYyVPbqh0GaUT5Pe3ayWLox6S08CIK/FIvMWoStgKGa0yqgBZ1XZmVGCkiWH nvydoWEXe0MaCOILcN7nDwET+vpd4h0/ha3/CT+1rAveuHT42gTsY/p/Nlz/eza0x8oo29aF cOYhkyITmV1mSsqSiSkx+hQqEh5x1iEmYFigvVDXYhez+MZCkE9L5GKnL8yMMz7Rg+UJoTBc 12hWNjzRGhpFrrZovcLakd5QZC5iwzbmjCtCPkTnqCKA5o99uTd2WLwLoBz0SWOz7Ev2n8hR MYHLmi6nuhn7QGGCqbZwx3fkLylJuwHxCCYzG6Y1iKVuV1AFgt5UKHLR3caM0b+vYShoETYQ OzmEqwpZzNI0tXKMa5WcpvpgFFBEe/kI8jbanmtln2YFUbQgLSWY+IGYk072yPQQAgBmgEXp zOdMBQmQz2mqCTYBSBvElTmZwXt9/N/oTW1VB18yQbCdEBn27evn3xdzfWBV/Me2K4FsyY9u n11Gli6xdffF9uHoUJoYqxdZdo35FoP23jeskRxOZmpLqYqgVBWfixn7xuo0A94S+Ai2YAro H4s0AtuOPeAyloSPzic3J32JvjWMjyrrEDpMfSInAiBiZDPof1cjZZw40/utwyoCEc4pnBu0 t0PlmCZ+o2PFg0ZF5T4Tkcw8RF+4bDceCg0oY3OhhgOeeG5tCHP39UxCa4r0BGlKp1SGLPUT En1CcJQVIC+bfcnnVSkdEdOMchCpPZyONmpPajjuubjLKNrmzSoin5C6YZ23xeX9iZyfeXP2 o4M3/CS2gbvuy7UtF66qYi3nIlFYWtXBW+j0W3+A4UXYKRufIENAGPoIsutx9w4iYS/E3Jf8 VeiARsB1qrLMVKfR0ythUtXz0tfrXG8mCS+xiB5iHlw/vrZhnaQhb29LVxeYTQDTXIqlVr2J Imok90WFFOlaQQkjlrAhw6yxqRWorh+M3iGRE5JeybsKGQxGqC0t7eEf4tO8MZx4XURCr7iJ wnFE/ik+EFJtkGrV3FTzz06aTyw75DwnhggzXmYMG42tn3SP8d52RbY4tXYA/9XxDsPAidi2 ly1ThCxOcek+dKMmtLNqOe7Aiisfo0DKW/s14zK52OroHZnBxGyhaX5l/X3QVB81jX0nYoPN 22AvFP3ZY/l0L6/OORscxxzBVPy3MF9H5l3joo6gJxDkWhfnJie+mAL1HviKdgOk7yrd2IDH HRYprydqBigwkBoKWiFgp70RmnIiNU0fMG0OysTymo0p9hWEu/D5bhA10OZu3KApBnKKbh4l zYZk7417WICxvsOs0wrxzmcBbYbGQ9ZOzbtnlKG9YL2oKJSbWepOb++sSg21cimF62HqxpAV WzRasd6Wyhq4Y1zPUnN33v69oz/MICAPZRJ7EPSykiZybEOcto4jbISiDBiOH7hsHFAqaZzl hFo0Zyg/cCGJ2hr4KOlE0tYOznyNIsY/jDgi7obn97DhtD/WM87RHNSA8KuFKnyQ1dw/bz9O g2DESMxsCKeELvbR0qE7Vt+6mjIGNatPm2WI38QyZNjQgOcLQpRmlNxPn1yk5gnGwSt3MGkf l1+42Vb63bo+kMKzfhnfUq3QiLEqQGkZy1hAoCYNwZT5xpe6l39IZzGqOVpEGsLm//p5BzII WudaQNSCGgPUUHRHFHvMI6l4tzY+vSZDO6zfLPeJK+DoutEW7KU1Iqih8F4qi2UOJzFbRwAR 7Urn1BOVndjF4HFliUTHmYJwjnVYZfToQf082Vvstr3p/3vXEiHDWqnG+sKd9J19ELv6U9sH /7A3GB+MzkKj/vkIFfYmOBZ20Qd2XkGSg==
  • Ironport-sdr: 63bb1c6c_fAKgH86k1c3yCumEE3zRu0ynNLtyVDD7Q4ivG6kyHPpS7a4 7LI6QD12Qh3zQMCgvAOv11XlGE2sNAo16Ol3hMA==
  • Organization: X80 Heavy Industries

Hi folks,

Karl Palmskog has wisely pointed out that I forgot to include what Coq
versions does coq-lsp support (thanks Karl)

For now, coq-lsp does support Coq versions 8.16, 8.17, and master.

Indeed, I consider the minimal development baseline to be 8.17 due to
important patches that are included only in that release.

However, for 8.16 we did some hacks, and indeed, we could do similar things
for older Coq versions if there is interest and manpower, but IMHO there
is little incentive these days to use something older than 8.16/8.17.

Kind regards,
Emilio



Archive powered by MHonArc 2.6.19+.

Top of Page