coq - The formal proof system

Age	Commit message (Expand)	Author
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-09	Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing	herbelin
2010-04-06	New model for user-driven translation of tokens in coqdoc	herbelin
2010-03-30	Small things about coqdoc + fixing lettuple.v test (part of bug #2289)	herbelin
2010-03-30	Removed hard-wiring of latin1 letters in coqdoc (see bug #2275)	herbelin
2010-03-30	Small improvements around coqdoc (including fix for bug #2288)	herbelin
2010-03-30	Fixed small bugs introduced in commit 12890 (bug #2286, that comes	herbelin
2010-03-29	Several bug-fixes and improvements of coqdoc	herbelin
2010-03-06	Adding Function as keyword for coqdoc	thery
2010-01-28	Fix previous commit	notin
2010-01-28	Typo in previous commit	notin
2010-01-28	Correction du bug #2219: application du patch envoyé par F. Garillot	notin
2009-12-01	Fix make_exact_entry to allow applying [forall x, P x] hints directly,	msozeau
2009-11-12	Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...	notin
2009-11-06	Misc fixes.	msozeau
2009-10-28	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau
2009-10-13	Better handling of emphasis.	msozeau
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-10	Fixes for toc depth handling and handling of substitles from Chris Casinghino.	msozeau
2009-09-08	Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch	msozeau
2009-09-04	Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,	msozeau
2009-09-03	Add --plain-comments patch by F. Garillot, which also adds	msozeau
2009-07-09	Allow coqdoc comments inside definition bodies.	msozeau
2009-04-08	Take formatted into account in rules for dot.	msozeau
2009-04-06	Fix behavior on newlines with parse-comments and also do [] escaping as	msozeau
2009-03-24	Fix coqdoc bugs reported by Ian Lynagh.	msozeau
2009-03-24	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey