Karl Palmskog (Nov 30 2020 at 09:35): Karl Palmskog (Nov 30 2020 at 09:35):This is for documentation for industrial users, for tactic language tutorials, Coq refman, etc.
Karl Palmskog (Nov 30 2020 at 09:36):maybe @Théo Zimmermann could flag up some documentation tasks/issues from Coq itself that are being worked on
Christian Doczkal (Nov 30 2020 at 09:58):I think the documentation for "dune" inside the Coq reference manual could also use some improvement, in particular as it comes to setting up dune+Emacs/PG.
Christian Doczkal (Nov 30 2020 at 09:58):(or any other IDE relying on a _CoqProject file)
Paolo Giarrusso (Nov 30 2020 at 10:02):@Christian Doczkal sadly, here are the current docs: https://github.com/coq-community/vscoq/issues/134.
Last updated: Nov 29 2023 at 19:01 UTC