Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed bug #1540 (typo on name .coqide-gtk2rc) | 2007-05-17 | |
* | Changed many refman/*.tex files. Put \label and \index commands that immediat... | 2007-04-17 | |
* | ajout de la doc sur l'option -enable-geoproof de CoqIDE | 2006-06-10 | |
* | r8637@thot: notin | 2006-03-14 16:00:49 +0100 | 2006-03-14 | |
* | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | 2006-02-23 |