| Age | Commit message (Expand) | Author |
|---|
| 2006-07-17 | MAJ | jforest |
| 2006-07-12 | Documentation machine virtuelle | herbelin |
| 2006-07-11 | MAJ doc/refman | notin |
| 2006-07-11 | Documentation de lazymatch et des extensions de idtac et fail | herbelin |
| 2006-07-07 | Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé... | herbelin |
| 2006-07-07 | MAJ du manuel de référence (modules+fixpoints+pose proof) | notin |
| 2006-07-06 | Documentation Whelp | herbelin |
| 2006-07-05 | Documentation Print Ltac qualid; documentation du debugger de ltac. | herbelin |
| 2006-07-05 | Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary. | herbelin |
| 2006-07-05 | Mise à jour scopes prédéfinis et Tactic Notation pour tacticals | herbelin |
| 2006-07-05 | Documentation 'external' | herbelin |
| 2006-07-04 | Doc Print Grammar pattern | herbelin |
| 2006-07-04 | Documentation or-pattern | herbelin |
| 2006-07-04 | Typo dans le manuel de référence | notin |
| 2006-07-04 | Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +... | herbelin |
| 2006-07-04 | MAJ du manuel de référence | notin |
| 2006-07-03 | MAJ manuel de référence | notin |
| 2006-06-23 | Nouveau paragraphe sur le polymorphisme de sorte des inductifs | herbelin |
| 2006-06-22 | updated documentation for my tactics (P. orbineau | corbinea |
| 2006-06-13 | Changement du index.html généré dans refman | notin |
| 2006-06-12 | Typo in replace doc. | jforest |
| 2006-06-12 | Updating documentation of replace and correcting a typo in error message of r... | jforest |
| 2006-06-10 | ajout de la doc sur l'option -enable-geoproof de CoqIDE | jnarboux |
| 2006-06-09 | Commit doc Claudio Sacerdoti | herbelin |
| 2006-06-09 | Nouvelle MAJ | herbelin |
| 2006-06-09 | ajout de la doc de classical_right et left | jnarboux |
| 2006-06-07 | petites corrections dans la doc de functional xxx. | courtieu |
| 2006-06-07 | Nouveaux Parametres Inductifs | cpaulin |
| 2006-06-07 | mise en texttt d'une commande. | courtieu |
| 2006-06-07 | Changements sur Functional xxx. Plus précis et plus exact. | courtieu |
| 2006-06-06 | Ajout de précisions dans la doc de functional scheme et consort + | courtieu |
| 2006-06-06 | Debut modif parametres inductifs CIC | cpaulin |
| 2006-06-05 | nouveaux parametres | cpaulin |
| 2006-06-01 | Update Program/subtac documentation. | msozeau |
| 2006-05-17 | updating Function documentation | jforest |
| 2006-05-05 | doc du *in* de match/with | barras |
| 2006-05-05 | Correction comportement clause _ du match goal | herbelin |
| 2006-04-28 | Continue l'écriture de la doc de "Function". Pas fini, manque: | courtieu |
| 2006-04-27 | Ajout de la doc de l'option -stdout de coqdoc | notin |
| 2006-04-27 | Added a short doc for "Function". To be finished. | courtieu |
| 2006-04-13 | MAJ 8.1-APP | herbelin |
| 2006-04-13 | MAJ 8.1-APP | herbelin |
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2006-04-04 | Bug index addendum à cause mauvaise utilisation asection dans Helm.tex | herbelin |
| 2006-03-14 | r8637@thot: notin | 2006-03-14 16:00:49 +0100 | notin |
| 2006-03-03 | Suppression de la coupure entre base et addendum (quitte à le remettre si de... | herbelin |
| 2006-02-24 | Modification des propriétés des fichiers .tex (svn:executable) | notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty |
| 2006-02-23 | Mise à jour des Makefile, ajout licences, corrections mineures suite à | herbelin |
| 2006-02-23 | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin |
