| Age | Commit message (Expand) | Author |
|---|
| 2008-02-14 | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin |
| 2008-02-13 | Suppression de l'option -glob-from de Coqdoc: les globalisations sont | notin |
| 2008-01-29 | Added full documentation for mathematical mode (draft version) | corbinea |
| 2007-11-28 | Ajout de l'axiomatisation des entiers à la documentation de la librairie sta... | notin |
| 2007-10-02 | Fix a problem doing 'make clean' under Winodws | notin |
| 2007-08-08 | A better Program documentation. Include it in the generated stdlib doc. | msozeau |
| 2007-07-26 | Corrected the reference to glob.dump, which is used to create stdlib/index-bo... | emakarov |
| 2007-07-25 | Modifications de la construction de la documentation de la librairie | notin |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-04-10 | Split refman/headers.tex into headers.sty and headers.hva. | emakarov |
| 2007-03-07 | Application suggestion #1430 de Yevgeniy pour TEXINPUTS | herbelin |
| 2006-07-11 | Documentation de lazymatch et des extensions de idtac et fail | herbelin |
| 2006-07-04 | Ajout cible refman-quick qui teste la compilation sans faire les index, toc e... | herbelin |
| 2006-06-13 | Changement du index.html généré dans refman | notin |
| 2006-06-09 | MAJ liste fichiers doc stdlib | herbelin |
| 2006-05-02 | Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ... | notin |
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2006-03-28 | - correction d'un bug dans coqdoc (multi_index) | notin |
| 2006-03-25 | r8708@thot: notin | 2006-03-24 18:55:01 +0100 | notin |
| 2006-03-14 | r8637@thot: notin | 2006-03-14 16:00:49 +0100 | notin |
| 2006-03-10 | Ajout Tutorial on recursive types | herbelin |
| 2006-02-23 | Uniformisation noms Library*.tex | herbelin |
| 2006-02-23 | Mise à jour des Makefile, ajout licences, corrections mineures suite à | herbelin |
| 2005-01-25 | Suppression cible all-ps-docs; ajout www/index.html | herbelin |
| 2004-06-27 | Il faut 2 fois latex apr�s l'index (cf bug #793) | herbelin |
| 2004-04-15 | Ajout documentation exportation XML | herbelin |
| 2004-01-14 | ajout d'une passe de latex our avoir un index correct | barras |
| 2004-01-07 | plus derreur hevea/hacha | coq |
| 2004-01-06 | doc avec frames | mohring |
| 2004-01-06 | addendum comme part5, htmlsplit -> hacha | mohring |
| 2004-01-06 | *** empty log message *** | mohring |
| 2004-01-06 | *** empty log message *** | mohring |
| 2004-01-05 | MAJ pour compilation coq-tex correcte | herbelin |
| 2004-01-05 | correction bugs commit precedent et mise en forme html | coq |
| 2003-12-19 | COQBIN plus necessaire, typos | marche |
| 2003-12-16 | coqide menus on golas | marche |
| 2003-12-12 | coqide | marche |
| 2003-12-10 | presentation, biblio; | marche |
| 2003-12-04 | coqide | marche |
| 2003-12-02 | plus de pb avec referencemanual.sh | marche |
| 2003-12-01 | version et style | marche |
| 2003-11-24 | coqide | marche |
| 2003-09-25 | passage V8 | filliatr |
| 2003-02-13 | Backtrack faq | herbelin |
| 2003-02-13 | MAJ Remark/Fact | herbelin |
| 2003-02-04 | Release 7.4 | desmettr |
| 2002-10-05 | Doc module, premiere version | coq |
| 2002-09-10 | Correction bug Makefile doc | desmettr |
| 2002-05-22 | Library est maintenant engendr� par coqdoc | herbelin |
| 2002-01-10 | MAJ | herbelin |
