Stream: Proof General devs

Topic: Supporting dune coq top

Paolo Giarrusso (Jun 25 2022 at 05:03):

As discussed in https://github.com/ProofGeneral/PG/issues/477 and more recently in https://coq.zulipchat.com/#narrow/stream/240550-Dune-devs-.26-users/topic/Warnings.20and.20dune/near/287294076, having Proof General support dune coq top would be useful cc @Rodolphe Lepigre @MackieLoeffel @Clément Pit-Claudel

Last updated: Apr 18 2024 at 09:02 UTC