| Age | Commit message (Expand) | Author |
|---|
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-10 | Fixing various coqdep bugs (#2118, #2242, #2274) | herbelin |
| 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-03-04 | Coqdep_boot: when emultating ocamldep, avoid outputting empty answer | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 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 |
| 2010-01-15 | Report de la révision #12676 | notin |
| 2009-12-27 | Fix "Existing Instance" to handle globality information and "Existing | msozeau |
| 2009-12-01 | Fix make_exact_entry to allow applying [forall x, P x] hints directly, | msozeau |
| 2009-11-19 | Correction du bug #2118 (Coqdep does not escape #) | notin |
| 2009-11-12 | Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions... | notin |
| 2009-11-10 | Correction du bug #2183 | notin |
| 2009-11-06 | Misc fixes. | msozeau |
| 2009-11-05 | Correction du bug #2153 (-D n'est pas une option standard de install) | notin |
| 2009-11-03 | Removed debugging stuff mistakenly introduced in r12426. | herbelin |
| 2009-10-30 | Removed 'dest' from keyword highlighting. | gmelquio |
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-10-27 | Add a new vernacular command for controling implicit generalization of | msozeau |
| 2009-10-27 | Added option --external to coqdoc to bind an url to an external library. | herbelin |
| 2009-10-13 | Better handling of emphasis. | msozeau |
| 2009-09-29 | Add support for Local Declare ML Module | glondu |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-15 | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin |
| 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-08 | Fix the bug-ridden code used to choose leibniz or generalized | 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-08-06 | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin |
| 2009-07-09 | Allow coqdoc comments inside definition bodies. | msozeau |
| 2009-05-28 | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | courtieu |
| 2009-04-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-04-08 | Take formatted into account in rules for dot. | msozeau |
| 2009-04-08 | Change HTML paragraph output to avoid too much space after bulleted | msozeau |
| 2009-04-06 | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau |
| 2009-03-27 | Coqdep: some dead code and code move (first experiment with Oug) | letouzey |
| 2009-03-26 | Coqdep_boot: one line with bad indentation | letouzey |
| 2009-03-26 | Protect typeset arguments in titles in LaTeX output (fixes compilation | 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 |
| 2009-03-22 | More elaborate handling of newlines in Gallina mode. Support inline | msozeau |
