Skip to Content.
Sympa Menu

coq-club - [Coq-Club] A more generous coqdoc?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A more generous coqdoc?


chronological Thread 
  • 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






Archive powered by MhonArc 2.6.16.

Top of Page