| Age | Commit message (Expand) | Author |
|---|
| 2003-03-29 | eq fusionne avec eqT et devient par défaut sur Type, | herbelin |
| 2003-03-29 | indentation | herbelin |
| 2003-03-29 | Déplacement de minus dans Peano | herbelin |
| 2003-03-29 | Implicit Variables Type | herbelin |
| 2003-03-29 | Implicit Variables Type dans les inductive | herbelin |
| 2003-03-29 | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | herbelin |
| 2003-03-29 | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | herbelin |
| 2003-03-29 | maj | filliatr |
| 2003-03-28 | coqide: command window maj. | monate |
| 2003-03-28 | Pas d'associativité gauche au niveau 3 en vieille syntaxe ! | herbelin |
| 2003-03-28 | notations <>, Assumption avec existentiel, replace term | mohring |
| 2003-03-28 | coqide: bug undo corrige | monate |
| 2003-03-28 | Réparation bug de l'unification. En effet, avant l'instanciation d'une evar | clrenard |
| 2003-03-28 | Fixed Relative names not,iff in Camlp4 quotation. | corbinea |
| 2003-03-27 | coqide: bugfix du C-C pendant Undo+paren_highlight | monate |
| 2003-03-27 | MAJ des mots-clés, Definition, Theorem, ... | herbelin |
| 2003-03-27 | MAJ des mots-clés, Definition, Theorem, ... | herbelin |
| 2003-03-27 | coqide: efficacite des buts etc... | monate |
| 2003-03-27 | Affinement nommage des productions | herbelin |
| 2003-03-26 | coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc... | monate |
| 2003-03-26 | coqide: addloadpath corrige | monate |
| 2003-03-26 | ajout d'une fonction reset_mod | monate |
| 2003-03-26 | Ajout de Set Print Width | gregoire |
| 2003-03-26 | maj | filliatr |
| 2003-03-25 | Extract Constant marche avec les axiomes schémas de types | letouzey |
| 2003-03-24 | coqide: compact delete event-search start | monate |
| 2003-03-24 | pour faire marcher le control-k | letouzey |
| 2003-03-24 | Bugfix pour Linear. | corbinea |
| 2003-03-22 | maj | filliatr |
| 2003-03-21 | *** empty log message *** | barras |
| 2003-03-21 | correction affichage des modules | barras |
| 2003-03-21 | Fin de la résurrection de Linear. | corbinea |
| 2003-03-18 | Introducing Christine's Intuition1 and adding some invertible hyps. | corbinea |
| 2003-03-18 | Ajout translate | herbelin |
| 2003-03-17 | coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ... | filliatr |
| 2003-03-17 | nettoyage dans translate | filliatr |
| 2003-03-15 | maj | filliatr |
| 2003-03-15 | petit oubli | letouzey |
| 2003-03-14 | coqide: maj preferences du wizzard | monate |
| 2003-03-14 | coqide: utf8.v | monate |
| 2003-03-14 | nettoyage dans ide/utils | filliatr |
| 2003-03-14 | *** empty log message *** | barras |
| 2003-03-14 | *** empty log message *** | barras |
| 2003-03-14 | reparations suite a la nouvelle syntaxe: | barras |
| 2003-03-14 | notations coqide | monate |
| 2003-03-14 | *** empty log message *** | monate |
| 2003-03-14 | coqide: maj commandes | monate |
| 2003-03-13 | Ajout réaffichage SubClass | herbelin |
| 2003-03-13 | code mort | herbelin |
| 2003-03-13 | maj | filliatr |
