aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
2001-09-14MAJherbelin
2001-09-13Structuration et traductionherbelin
2001-09-13explications modifications Tautocourant
2001-09-11MAJherbelin
2001-09-09MAJherbelin
2001-09-07MAJherbelin
2001-08-10Parsingherbelin
2001-08-07Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ...herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-19 13:17:34 +0000