aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2001-07-09MAJ de la MAJherbelin
2001-07-09MAJherbelin
2001-07-02Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...herbelin
2001-06-25Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ...herbelin
2001-05-15Modification pour passage p-automatesmohring
2001-04-15MAJherbelin
2001-03-23MAJherbelin
2001-03-14MAJherbelin
2001-02-16MAJherbelin
2001-01-31MAJherbelin
2001-01-31Mise en place de la possibilite d'unfolder des variables locales et des const...filliatr
2001-01-30MAJherbelin
2001-01-30MAJherbelin
2001-01-24MAJherbelin
2000-12-26Dernière MAJherbelin
2000-12-22Traduction en francais de 'CHANGES' dont le contenu était en françaisherbelin
2000-12-20MAJherbelin
2000-12-20MAJherbelin
2000-12-18MAJherbelin
2000-12-16MAJherbelin
2000-12-15Mise en pageherbelin
2000-12-15MAJherbelin
2000-12-06MAJherbelin
2000-12-02Portage d'AutoRewritedelahaye
2000-11-27MAJherbelin
2000-11-24certains effets disparaissent a la sortie des sections, d'autres non (selon S...filliatr
2000-11-24MAJherbelin
2000-11-23Ajout d'une syntaxe pour Reals.mayero
2000-11-22deplacement poly_args; iterateurs sur les segmentsfilliatr
2000-11-21implicites manuelsfilliatr
2000-11-21Begin-End Silent deviennent Set?Unset Silentmohring
2000-11-15concernant les binairesfilliatr
2000-11-09do_Makefile -> coq_makefilefilliatr
2000-11-07Changement/extension dans les noms de parseurs de Grammarherbelin
2000-11-07MAJherbelin
2000-10-28MAJherbelin
2000-10-26MAJherbelin
2000-10-23MAJherbelin
2000-10-19MAJherbelin
2000-10-18MAJherbelin
2000-10-18MAJherbelin
2000-10-16MAJherbelin
2000-10-10MAJherbelin
2000-10-06MAJherbelin
2000-10-04MAJherbelin
2000-09-10Suppression de Abstherbelin
2000-07-28Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...herbelin
2000-07-26Ajout syntaxe [ phr1 ... phrn ]. pour grouper des commandes (pour Time ou Gra...herbelin
2000-07-24MAJherbelin
2000-06-29MAJherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 05:40:11 +0000