| Commit message (Expand) | Author | Age |
* | Ajout d'un choix 'onlyparse' | herbelin | 2003-03-31 |
* | Suppression des alias eqT/exT/exT2 en nouvelle syntaxe | herbelin | 2003-03-31 |
* | Ajout VernacReserve et suppression des types re-inferables | herbelin | 2003-03-31 |
* | Restauration de make_all_different (disparu depuis version 1.74) car sinon de... | herbelin | 2003-03-31 |
* | Bug pattern_occ_hyp_list | herbelin | 2003-03-31 |
* | Correcting a bug occuring when the mimicked function had a | courtieu | 2003-03-31 |
* | Notation eqT superflue | herbelin | 2003-03-31 |
* | factorisation des "constant" dans les contrib/* ( maintenant dans coqlib ) | corbinea | 2003-03-31 |
* | minus a changé d'emplacement -> omega pas content | letouzey | 2003-03-31 |
* | maj | filliatr | 2003-03-31 |
* | 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-29 |
* | 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-28 |
* | 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-27 |
* | 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-26 |
* | Extract Constant marche avec les axiomes schémas de types | letouzey | 2003-03-25 |
* | 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-24 |
* | maj | filliatr | 2003-03-22 |
* | *** 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-21 |
* | Introducing Christine's Intuition1 and adding some invertible hyps. | corbinea | 2003-03-18 |
* | Ajout translate | herbelin | 2003-03-18 |
* | coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ... | filliatr | 2003-03-17 |
* | nettoyage dans translate | filliatr | 2003-03-17 |
* | maj | filliatr | 2003-03-15 |
* | petit oubli | letouzey | 2003-03-15 |
* | coqide: maj preferences du wizzard | monate | 2003-03-14 |
* | coqide: utf8.v | monate | 2003-03-14 |