| Commit message (Expand) | Author | Age |
* | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey | 2010-05-19 |
* | Remove compile-command pragmas for emacs | letouzey | 2010-05-19 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Fixing various coqdep bugs (#2118, #2242, #2274) | herbelin | 2010-04-10 |
* | Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing | herbelin | 2010-04-09 |
* | New model for user-driven translation of tokens in coqdoc | herbelin | 2010-04-06 |
* | 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-30 |
* | Several bug-fixes and improvements of coqdoc | herbelin | 2010-03-29 |
* | Adding Function as keyword for coqdoc | thery | 2010-03-06 |
* | 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-03-04 |
* | 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-28 |
* | Report de la révision #12676 | notin | 2010-01-15 |
* | Fix "Existing Instance" to handle globality information and "Existing | msozeau | 2009-12-27 |
* | Fix make_exact_entry to allow applying [forall x, P x] hints directly, | msozeau | 2009-12-01 |
* | Correction du bug #2118 (Coqdep does not escape #) | notin | 2009-11-19 |
* | Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions... | notin | 2009-11-12 |
* | Correction du bug #2183 | notin | 2009-11-10 |
* | Misc fixes. | msozeau | 2009-11-06 |
* | Correction du bug #2153 (-D n'est pas une option standard de install) | notin | 2009-11-05 |
* | Removed debugging stuff mistakenly introduced in r12426. | herbelin | 2009-11-03 |
* | Removed 'dest' from keyword highlighting. | gmelquio | 2009-10-30 |
* | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau | 2009-10-28 |
* | 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-27 |
* | Better handling of emphasis. | msozeau | 2009-10-13 |
* | Add support for Local Declare ML Module | glondu | 2009-09-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin | 2009-09-15 |
* | Fixes for toc depth handling and handling of substitles from Chris Casinghino. | msozeau | 2009-09-10 |
* | 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-08 |
* | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau | 2009-09-04 |
* | Add --plain-comments patch by F. Garillot, which also adds | msozeau | 2009-09-03 |
* | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin | 2009-08-06 |
* | Allow coqdoc comments inside definition bodies. | msozeau | 2009-07-09 |
* | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | courtieu | 2009-05-28 |
* | Report de la révision #12104 (Maj lien site web de Coq) | notin | 2009-04-24 |
* | 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-08 |
* | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau | 2009-04-06 |
* | Coqdep: some dead code and code move (first experiment with Oug) | letouzey | 2009-03-27 |
* | Coqdep_boot: one line with bad indentation | letouzey | 2009-03-26 |
* | Protect typeset arguments in titles in LaTeX output (fixes compilation | msozeau | 2009-03-26 |
* | Fix coqdoc bugs reported by Ian Lynagh. | msozeau | 2009-03-24 |