Stream: CUDW 2020

Topic: WG: Documentation


view this post on Zulip Karl Palmskog (Nov 30 2020 at 09:35):

This is for documentation for industrial users, for tactic language tutorials, Coq refman, etc.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Christian Doczkal (Nov 30 2020 at 09:58):

(or any other IDE relying on a _CoqProject file)

view this post on Zulip 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: Mar 29 2024 at 07:01 UTC