| Age | Commit message (Expand) | Author |
|---|
| 2021-03-03 | [build] Split stdlib to it's own opam package. | Emilio Jesus Gallego Arias |
| 2021-02-16 | Get rid of the compilation date from the binaries to make them more stable. | Guillaume Melquiond |
| 2020-05-11 | Checking validity of coqdoc file name. | Hugo Herbelin |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-11-21 | [coq] Untabify the whole ML codebase. | Emilio Jesus Gallego Arias |
| 2019-07-08 | [core] [api] Support OCaml 4.08 | Emilio Jesus Gallego Arias |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-09-26 | Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015. | Hugo Herbelin |
| 2015-07-30 | Remove usage of Printexc.catch in the tools, as it is deprecated since 2001. | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-07-03 | coqdoc is minimaly -Q aware | Pierre Boutillier |
| 2012-08-08 | Updating headers. | herbelin |
| 2011-10-29 | Added checksums to glob files and warned about possibly missing | herbelin |
| 2011-09-27 | In Coq_config: get rid of coqsrc and make coqlib optional | glondu |
| 2011-04-25 | Fix for handling of -R "" in coqdoc (bug #2423). | herbelin |
| 2010-09-28 | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | msozeau |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Remove compile-command pragmas for emacs | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-06 | New model for user-driven translation of tokens in coqdoc | 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 |
| 2009-10-27 | Added option --external to coqdoc to bind an url to an external library. | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 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-04-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-03-24 | pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file) | letouzey |
| 2009-03-22 | coqdoc fixes and support for parsing regular comments (request by | msozeau |
| 2009-02-11 | Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk | notin |
| 2009-01-15 | Patch by Brian Campbell to output more information on the exception that | msozeau |
| 2009-01-07 | Suite de la révision #11756 | notin |
| 2008-12-19 | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin |
| 2008-11-14 | Amélioration du README.doc et de l'installation de la doc | notin |
| 2008-10-31 | Ajout d'une option -raw pour Coqdoc (sortie en texte brut) | notin |
| 2008-09-25 | Improvements in coqdoc: | msozeau |
| 2008-07-18 | Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d... | notin |
| 2008-05-30 | Improvements on coqdoc by adding more information into .glob | msozeau |
| 2008-05-28 | add support for pdf in coqdoc, add export to pdf in coqide, port open and sav... | jnarboux |
| 2008-04-08 | Ajout d'options a coqdoc pour l'entete html | notin |
| 2008-02-27 | Génération d'une toc en html et avec l'option -ps | notin |
| 2008-02-27 | Amélioration de la gestion des chemins physiques (corrige au passage le bug ... | notin |
| 2008-02-25 | Correction d'un bug de Coqdoc (indentation des lignes) | notin |
| 2008-02-14 | Bug de Coqdoc avec l'option -R | notin |
| 2008-02-13 | Correction du bug #1512 | notin |
| 2008-02-13 | Suppression de l'option -glob-from de Coqdoc: les globalisations sont | notin |
