aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2000-12-06
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* MAJGravatar herbelin2000-11-27
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* MAJGravatar herbelin2000-11-24
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* deplacement poly_args; iterateurs sur les segmentsGravatar filliatr2000-11-22
* implicites manuelsGravatar filliatr2000-11-21
* Begin-End Silent deviennent Set?Unset SilentGravatar mohring2000-11-21
* concernant les binairesGravatar filliatr2000-11-15
* do_Makefile -> coq_makefileGravatar filliatr2000-11-09
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
* MAJGravatar herbelin2000-11-07
* MAJGravatar herbelin2000-10-28
* MAJGravatar herbelin2000-10-26
* MAJGravatar herbelin2000-10-23
* MAJGravatar herbelin2000-10-19
* MAJGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-18
* MAJGravatar herbelin2000-10-16
* MAJGravatar herbelin2000-10-10
* MAJGravatar herbelin2000-10-06
* MAJGravatar herbelin2000-10-04
* Suppression de AbstGravatar herbelin2000-09-10
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...Gravatar herbelin2000-07-28
* Ajout syntaxe [ phr1 ... phrn ]. pour grouper des commandes (pour Time ou Gra...Gravatar herbelin2000-07-26
* MAJGravatar herbelin2000-07-24
* MAJGravatar herbelin2000-06-29
* MAJGravatar herbelin2000-05-23
* Fichiers des modifs pour l'utilisateursGravatar herbelin2000-05-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 22:02:35 +0000