Pierre Courtieu <pierre.court...@cnam.fr> writes:
> - similarly for the coq/faq: wouldn't it be better to integrate
> this in the user manual and have then a "coq faq" link on the
> web page?
I don't understand this one. Do you mean in the coq user manual?
No, my suggestion was to integrate coq/faq as section into the
Proof General user manual. We could then directly link this FAQ
from the Proof General website. It should also be possible to
have the FAQ alone somewhere in the Proof General distribution,
at least in html format.
ProofGeneral-devel mailing list