aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/cLexer.ml4
Commit message (Expand)AuthorAge
* [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Remove unused constructorsGravatar Gaetan Gilbert2017-04-27
* Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`Gravatar Emilio Jesus Gallego Arias2017-03-21
* [safe-string] parsing/cLexerGravatar Emilio Jesus Gallego Arias2017-03-14
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-12-07
|\
| * Fixing lexing of strings in comments for beautifier.Gravatar Hugo Herbelin2016-12-02
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-11-18
|\|
| * Removing obsolete parsing of strings à la v7 in comments.Gravatar Hugo Herbelin2016-11-05
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-29
|\|
| * Merge remote-tracking branch 'github/pr/319' into v8.6Gravatar Maxime Dénès2016-10-28
| |\
* | | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-24
|\| |
| * | Merge branch 'v8.5' into v8.6Gravatar Hugo Herbelin2016-10-24
| * | Adding a primitive to recover the set of keywords from the lexer.Gravatar Pierre-Marie Pédrot2016-10-21
| | * [pp] Add tagging function to all low-level printing calls.Gravatar Emilio Jesus Gallego Arias2016-10-18
| |/
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-18
|\|
| * Extra warning about unicode character of unknown status following an ident.Gravatar Hugo Herbelin2016-10-17
| * Fixing a few other inconsistencies with notations.Gravatar Hugo Herbelin2016-10-17
| * Stopping warning on unrecognized unicode character in notation (fixing #5136).Gravatar Hugo Herbelin2016-10-17
| * [toplevel] Remove duplicate beautify flags.Gravatar Emilio Jesus Gallego Arias2016-10-17
| * More on making the lexer more functional (continuing b8ae2de5 andGravatar Hugo Herbelin2016-10-17
| * Removing export of location_table outside of cLexer.Gravatar Hugo Herbelin2016-10-17
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-12
|\|
| * Moving Pp.comments to CLexer so that Pp is purer (no more side-effectGravatar Hugo Herbelin2016-10-09
| * Attaching all extra imperative components of the lexer/parser state toGravatar Hugo Herbelin2016-10-09
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-05
|\|
| * Revert "Move bullet detection from lexer to parser (bug #5102)."Gravatar Guillaume Melquiond2016-10-05
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * Move bullet detection from lexer to parser (bug #5102).Gravatar Guillaume Melquiond2016-10-02
* | Merge PR #244.Gravatar Pierre-Marie Pédrot2016-09-08
|\ \ | |/ |/|
* | Fix #4941 - ~/.coqrc file confusing locationsGravatar Maxime Dénès2016-08-30
| * Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
|/
* Remove lexing of ordinal notations.Gravatar Maxime Dénès2016-07-03
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Add file name, line number and beginning of line position to locations.Gravatar Maxime Dénès2016-06-20
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
* Rename Lexer -> CLexer.Gravatar Pierre-Marie Pédrot2016-05-09