Stream: Proof General devs

Topic: Supporting dune coq top


view this post on Zulip 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: Feb 06 2023 at 05:03 UTC