| Age | Commit message (Expand) | Author |
|---|
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-06-04 | Fixing previous commit (something strange happened...) | ppedrot |
| 2012-06-04 | Replacing some str with strbrk | ppedrot |
| 2012-04-27 | Partial revert of r15148 in order to compile with Camlp4 | pboutill |
| 2012-04-12 | Remove print call that do not use the pp mechanism | pboutill |
| 2011-08-13 | New fix for is_ident_not_keyword. | herbelin |
| 2011-08-09 | In coqtop, a terminating "." must now be followed by a blank or eof. | letouzey |
| 2011-08-08 | Be a bit less aggressive in declaring idents as keywords in notations | herbelin |
| 2011-04-08 | Made warning about ending comments in string less intrusive so as to support | herbelin |
| 2010-10-17 | About "unsupported" unicode characters in notations. | herbelin |
| 2010-10-11 | Backporting r13521 from branch 8.3 to trunk (fixing bug #2406, looping | herbelin |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-05-19 | Nicer representation of tokens, more independant of camlp* | letouzey |
| 2010-05-19 | static (and shared) camlp4use instead of per-file declaration | letouzey |
| 2010-05-12 | Missing warning flush in a lexer message + update of CHANGES | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-03-30 | Improving error messages in the presence of utf-8 characters | herbelin |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-14 | - Addition of "Reserved Infix" continued. | herbelin |
| 2009-06-29 | Miscellaneous practical commits: | herbelin |
| 2009-05-27 | Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans | aspiwack |
| 2009-04-27 | - Cleaning (unification of ML names, removal of obsolete code, | herbelin |
| 2009-01-14 | Fixing #1960 (xml bug with external on goal variable) and #1961 | herbelin |
| 2008-11-22 | Fixed bug in VernacExtend printing + missing vernacular printing rules + | herbelin |
| 2008-10-31 | allowed patternidents starting with an '_' | amahboub |
| 2008-10-30 | The lexer is changer to break former PATTERNIDENT into two tokens. | amahboub |
| 2008-07-15 | Autour du parsing: | herbelin |
| 2008-06-06 | Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical | herbelin |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-05 | Minor fixes: | msozeau |
| 2008-02-18 | Ajout de caractères unicode reconnus apr le lexer | notin |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-09-28 | Creation of a new token PATTERNIDENT (?ident) for intro patterns, so | glondu |
| 2007-07-16 | Generalized CAMLP4USE for pp dependencies | corbinea |
| 2006-11-20 | Correction boucle du parseur en cas de caractÃère non unicode | herbelin |
| 2006-07-05 | Correction typo + ajout Arabic Supplement | herbelin |
| 2006-06-10 | Bug is_number | herbelin |
| 2006-06-08 | Réinitialisation de token_number à chaque compilation d'un nouveau fichier ... | notin |
| 2006-05-11 | Oubli des symboles du Latin-1 | herbelin |
| 2006-05-10 | Centralisation de la détection lettre/symbole par le lexeur dans les plages ... | herbelin |
| 2006-04-26 | Diverses corrections de l'afficheur et du traducteur pour s'assurer de | herbelin |
| 2006-01-15 | Ajout de nouvelles plages de symboles unicode; prise en compte des indices un... | herbelin |
| 2006-01-15 | Bug (code prévu pour iso-latin et non utf-8) | herbelin |
| 2006-01-14 | Code mort du traducteur | herbelin |
| 2005-12-28 | Commentaire mort | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
