aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common
Commit message (Expand)AuthorAge
...
* - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)Gravatar herbelin2008-06-10
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* Nouvelle doc pour les modules.Gravatar soubiran2008-05-23
* Correction bug 1838 + doc modules.Gravatar soubiran2008-04-21
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* - Documentation des nouvelles options d'implicites (Set Strongly StrictGravatar herbelin2008-02-06
* MAJ date copyright docGravatar herbelin2007-09-18
* Cleaned doc/common/title.tex file. Increased the space under headersGravatar emakarov2007-04-12
* Some changes to eliminate Hevea warnings.Gravatar emakarov2007-04-10
* Relecture/nettoyage chapitre Gallina; déplacement section FunctionGravatar herbelin2007-02-07
* Documentation de lazymatch et des extensions de idtac et failGravatar herbelin2006-07-11
* Ajout taclevelGravatar herbelin2006-07-05
* Documentation or-patternGravatar herbelin2006-07-04
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:43:41 +0000