aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
AgeCommit message (Expand)Author
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
2000-05-23MAJherbelin
2000-05-22Fichiers des modifs pour l'utilisateursherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 06:31:06 +0000