aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/ast.ml
Commit message (Expand)AuthorAge
* entetesGravatar filliatr2001-03-15
* Extension coerce_to_varGravatar herbelin2001-02-05
* Prise en compte des noms longs dans les Hints et les CoercionsGravatar herbelin2001-01-24
* Bug dans les alias de CasesGravatar herbelin2000-12-14
* section_path etait en fait bonne dans ast et buggee dans printer.mlGravatar herbelin2000-12-06
* 2ème bug de traduction des PathGravatar herbelin2000-12-06
* Bug de traduction des PathGravatar herbelin2000-12-06
* Prise en compte constructeur QUALID pour noms qualifiésGravatar herbelin2000-11-20
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...Gravatar herbelin2000-07-28
* Intégration initiale du CasesGravatar herbelin1999-12-11
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* portage Astterm (partiellement)Gravatar filliatr1999-11-29
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* module TermastGravatar filliatr1999-11-26
* modules Ast et PcoqGravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-11 19:48:49 +0000