aboutsummaryrefslogtreecommitdiff
path: root/parsing/lexer.mli
AgeCommit message (Expand)Author
2009-05-27Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dansaspiwack
2009-04-27- Cleaning (unification of ML names, removal of obsolete code,herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...herbelin
2004-07-16Nouvelle en-têteherbelin
2004-07-16Branchement sur Util.loc et abstraction vis a vis de dummy_locherbelin
2004-03-26Ajout entree pour exporter les commentaires en mode -xmlherbelin
2004-01-26reparation de qqs bugs du traducteurbarras
2004-01-22Protection table des locations lors de Load (pour coqdoc)herbelin
2004-01-21Export information des references et location de notations pour coqdocherbelin
2003-09-22traducteur: affiche les commentaires a l'interieur des commandesbarras
2003-02-27Le lexeur et Notation savent reconnaître si un unicode des blocsherbelin
2003-02-05Ajout du traducteurdesmettr
2001-03-15entetesfilliatr
2001-01-30backtrack sur le lexeur de la V6filliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-04-28portage Omega (code seulement)filliatr
2000-04-28portage en ocaml / camlp4 3.00filliatr
1999-12-06erreurs lexicalesfilliatr
1999-12-05mise au point lexer / debugage PPfilliatr
1999-12-03modules profile, Coqinit et Coqtop (=main)filliatr
1999-12-01module Egrammarfilliatr
1999-11-26module Extendfilliatr
1999-09-08modules Ast et Pcoqfilliatr
1999-09-08minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...filliatr
1999-09-07mise en place grammaire minicoqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:51:40 +0000