Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Fixed various Overfull in documentation. | herbelin | 2009-01-27 |
* | Correction bug #1842 + correction bug initialisation introduit dans | herbelin | 2008-05-10 |
* | redirection of errors in coqide + dynamic warning printer (needed for tm_egg) | corbinea | 2007-01-31 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibilite | herbelin | 2003-10-16 |
* | Ajout de Set Print Width | gregoire | 2003-03-26 |
* | *** empty log message *** | barras | 2003-03-12 |
* | interface GTK2 experimentale | monate | 2003-02-04 |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
* | entetes | filliatr | 2001-03-15 |
* | deep_gp pour l'écriture dans un fichier | filliatr | 1999-10-01 |
* | Initial revision | filliatr | 1999-08-16 |