Stream:
Proof General devs
Topics:
adapting PG to a new proof assistant
(10 messages, latest: Mar 05 2024 at 19:53)
stream events
(2 messages, latest: Jan 30 2024 at 11:48)
web public
(1 message, latest: Jan 30 2024 at 11:38)
coq-lsp and PG
(17 messages, latest: Jan 22 2024 at 12:03)
Coq debugger breakage/fix
(4 messages, latest: Sep 28 2023 at 16:13)
Supporting dune coq top
(1 message, latest: Jun 25 2022 at 05:03)
Pull Requests
(4 messages, latest: May 25 2022 at 16:26)
using PG with remote coq compiler
(8 messages, latest: Apr 01 2022 at 06:01)
PG under GPLv3+
(3 messages, latest: Nov 25 2021 at 16:20)
Last updated: Oct 13 2024 at 01:02 UTC