aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/lexer.ml4
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Addition of "Reserved Infix" continued.Gravatar herbelin2009-09-14
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dansGravatar aspiwack2009-05-27
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* Fixing #1960 (xml bug with external on goal variable) and #1961Gravatar herbelin2009-01-14
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* allowed patternidents starting with an '_'Gravatar amahboub2008-10-31
* The lexer is changer to break former PATTERNIDENT into two tokens.Gravatar amahboub2008-10-30
* Autour du parsing:Gravatar herbelin2008-07-15
* Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematicalGravatar herbelin2008-06-06
* Diverses corrections Gravatar herbelin2008-04-14
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Minor fixes: Gravatar msozeau2008-04-05
* Ajout de caractères unicode reconnus apr le lexerGravatar notin2008-02-18
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Creation of a new token PATTERNIDENT (?ident) for intro patterns, soGravatar glondu2007-09-28
* Generalized CAMLP4USE for pp dependenciesGravatar corbinea2007-07-16
* Correction boucle du parseur en cas de caractÃère non unicodeGravatar herbelin2006-11-20
* Correction typo + ajout Arabic SupplementGravatar herbelin2006-07-05
* Bug is_numberGravatar herbelin2006-06-10
* Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...Gravatar notin2006-06-08
* Oubli des symboles du Latin-1Gravatar herbelin2006-05-11
* Centralisation de la détection lettre/symbole par le lexeur dans les plages ...Gravatar herbelin2006-05-10
* Diverses corrections de l'afficheur et du traducteur pour s'assurer deGravatar herbelin2006-04-26
* Ajout de nouvelles plages de symboles unicode; prise en compte des indices un...Gravatar herbelin2006-01-15
* Bug (code prévu pour iso-latin et non utf-8)Gravatar herbelin2006-01-15
* Code mort du traducteurGravatar herbelin2006-01-14
* Commentaire mortGravatar herbelin2005-12-28
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Abstraction vis à vis du type loc pour compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* bugs #667 and #783 (mimick_evar and loc_table on large files)Gravatar barras2004-07-13
* efficacite du lexeurGravatar filliatr2004-06-29
* 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
* make libraries, lexing of more utf8 symbolsGravatar marche2004-01-14
* modif lexer: ident peut commencer par _Gravatar barras2003-11-25
* changement nouvelle syntaxe (pt fixes)Gravatar barras2003-10-10
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...Gravatar herbelin2003-05-21
* extension des caracteres UTF 8 autorises dans les symbolesGravatar filliatr2003-04-25
* *** empty log message ***Gravatar barras2003-03-21
* *** empty log message ***Gravatar barras2003-03-12
* Correction test token normalGravatar herbelin2003-02-27
* Le lexeur et Notation savent reconnaître si un unicode des blocsGravatar herbelin2003-02-27