aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/ast.ml
Commit message (Expand)AuthorAge
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Réparation d'un bug qui considérait les composantes d'un QUALIDGravatar herbelin2002-07-30
* Généralisation des syntaxes ': T := t', ':= t : T', ': T', ':= t' pourGravatar herbelin2002-07-11
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* compat ocaml 3.03Gravatar filliatr2001-12-13
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* ParsingGravatar herbelin2001-08-10
* 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