Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | MAJ | 2001-09-07 | ||
* | Parsing | 2001-08-10 | ||
* | Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ... | 2001-08-07 | ||
* | MAJ de la MAJ | 2001-07-09 | ||
* | MAJ | 2001-07-09 | ||
* | Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute... | 2001-07-02 | ||
* | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | 2001-06-25 | ||
* | Modification pour passage p-automates | 2001-05-15 | ||
* | MAJ | 2001-04-15 | ||
* | MAJ | 2001-03-23 | ||
* | MAJ | 2001-03-14 | ||
* | MAJ | 2001-02-16 | ||
* | MAJ | 2001-01-31 | ||
* | Mise en place de la possibilite d'unfolder des variables locales et des const... | 2001-01-31 | ||
* | MAJ | 2001-01-30 | ||
* | MAJ | 2001-01-30 | ||
* | MAJ | 2001-01-24 | ||
* | Dernière MAJ | 2000-12-26 | ||
* | Traduction en francais de 'CHANGES' dont le contenu était en français | 2000-12-22 | ||
* | MAJ | 2000-12-20 | ||
* | MAJ | 2000-12-20 | ||
* | MAJ | 2000-12-18 | ||
* | MAJ | 2000-12-16 | ||
* | Mise en page | 2000-12-15 | ||
* | MAJ | 2000-12-15 | ||
* | MAJ | 2000-12-06 | ||
* | Portage d'AutoRewrite | 2000-12-02 | ||
* | MAJ | 2000-11-27 | ||
* | certains effets disparaissent a la sortie des sections, d'autres non (selon S... | 2000-11-24 | ||
* | MAJ | 2000-11-24 | ||
* | Ajout d'une syntaxe pour Reals. | 2000-11-23 | ||
* | deplacement poly_args; iterateurs sur les segments | 2000-11-22 | ||
* | implicites manuels | 2000-11-21 | ||
* | Begin-End Silent deviennent Set?Unset Silent | 2000-11-21 | ||
* | concernant les binaires | 2000-11-15 | ||
* | do_Makefile -> coq_makefile | 2000-11-09 | ||
* | Changement/extension dans les noms de parseurs de Grammar | 2000-11-07 | ||
* | MAJ | 2000-11-07 | ||
* | MAJ | 2000-10-28 | ||
* | MAJ | 2000-10-26 | ||
* | MAJ | 2000-10-23 | ||
* | MAJ | 2000-10-19 | ||
* | MAJ | 2000-10-18 | ||
* | MAJ | 2000-10-18 | ||
* | MAJ | 2000-10-16 | ||
* | MAJ | 2000-10-10 | ||
* | MAJ | 2000-10-06 | ||
* | MAJ | 2000-10-04 | ||
* | Suppression de Abst | 2000-09-10 | ||
* | Plus de piquants dans les actions des grammaires; nom de la grammaire pris co... | 2000-07-28 |