aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/lexer.mli
Commit message (Expand)AuthorAge
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Nouvelle en-têteGravatar herbelin2004-07-16
* Branchement sur Util.loc et abstraction vis a vis de dummy_locGravatar herbelin2004-07-16
* Ajout entree pour exporter les commentaires en mode -xmlGravatar herbelin2004-03-26
* reparation de qqs bugs du traducteurGravatar barras2004-01-26
* Protection table des locations lors de Load (pour coqdoc)Gravatar herbelin2004-01-22
* Export information des references et location de notations pour coqdocGravatar herbelin2004-01-21
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Le lexeur et Notation savent reconnaître si un unicode des blocsGravatar herbelin2003-02-27
* Ajout du traducteurGravatar desmettr2003-02-05
* entetesGravatar filliatr2001-03-15
* backtrack sur le lexeur de la V6Gravatar filliatr2001-01-30
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* portage Omega (code seulement)Gravatar filliatr2000-04-28
* portage en ocaml / camlp4 3.00Gravatar filliatr2000-04-28
* erreurs lexicalesGravatar filliatr1999-12-06
* mise au point lexer / debugage PPGravatar filliatr1999-12-05
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* module EgrammarGravatar filliatr1999-12-01
* module ExtendGravatar filliatr1999-11-26
* modules Ast et PcoqGravatar filliatr1999-09-08
* minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...Gravatar filliatr1999-09-08
* mise en place grammaire minicoqGravatar filliatr1999-09-07