aboutsummaryrefslogtreecommitdiff
path: root/parsing/lexer.ml4
AgeCommit message (Expand)Author
2003-11-25modif lexer: ident peut commencer par _barras
2003-10-10changement nouvelle syntaxe (pt fixes)barras
2003-09-22traducteur: affiche les commentaires a l'interieur des commandesbarras
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-05-21Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...herbelin
2003-04-25extension des caracteres UTF 8 autorises dans les symbolesfilliatr
2003-03-21*** empty log message ***barras
2003-03-12*** empty log message ***barras
2003-02-27Correction test token normalherbelin
2003-02-27Le lexeur et Notation savent reconnaître si un unicode des blocsherbelin
2003-02-05Ajout du traducteurdesmettr
2002-12-03Le '.' peut faire partie d'un tokenherbelin
2002-11-29Re-échappement des \ et " dans les token stringherbelin
2002-11-28Essai de suppression du caractere d'echappement des stringherbelin
2001-08-10Parsingherbelin
2001-06-11Fix de quelques bugs syntaxiques de Ltacdelahaye
2001-04-05mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4filliatr
2001-03-15entetesfilliatr
2001-01-30backtrack sur le lexeur de la V6filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 20:05:24 +0000