coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benjamin Pierce <bcpierce AT cis.upenn.edu>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] A more generous coqdoc?
- Date: Sat, 21 Feb 2009 09:36:41 -0500
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
I've been trying to get use coqdoc to make a nice HTML version of my under-construction lecture notes for teaching PL using Coq, but I'm stuck on one serious deficiency: there seems to be no way to get it to keep ordinary comments -- in particular, comments within proofs. I've had a little look inside the code, but I'm afraid I can't understand how it works well enough to see whether this would be easy or hard to change. Can anyone comment on this?
Thanks,
- Benjamin
- [Coq-Club] A more generous coqdoc?, Benjamin Pierce
- Re: [Coq-Club] A more generous coqdoc?,
Matthieu Sozeau
- Re: [Coq-Club] A more generous coqdoc?, Benjamin Pierce
- Re: [Coq-Club] A more generous coqdoc?,
Matthieu Sozeau
Archive powered by MhonArc 2.6.16.