| Commit message (Expand) | Author | Age |
|---|
| * | Updated all headers for 8.3 and trunk |  herbelin | 2010-07-24 |
| * | Fix a bug found by S.Glondu. coq-db.el did not compile. |  courtieu | 2010-07-23 |
| * | Finish adding out-of-the-box support for camlp4 |  letouzey | 2010-07-09 |
| * | Remove dependency to Unix from module Profile |  glondu | 2010-07-02 |
| * | Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326) | glondu | 2010-06-03 |
| * | 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 |
herbelin
courtieu
letouzey
glondu
thery
notin
msozeau
gmelquio