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