index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
parsing
/
compat.ml4
Commit message (
Expand
)
Author
Age
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-18
|
\
|
*
More on making the lexer more functional (continuing b8ae2de5 and
Hugo Herbelin
2016-10-17
|
*
Fix compilation with camlp4 broken in 8a8caba3.
Hugo Herbelin
2016-10-17
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-12
|
\
|
|
*
Attaching all extra imperative components of the lexer/parser state to
Hugo Herbelin
2016-10-09
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-05
|
\
|
|
*
Revert "Move bullet detection from lexer to parser (bug #5102)."
Guillaume Melquiond
2016-10-05
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-10-02
|
\
|
|
*
Move bullet detection from lexer to parser (bug #5102).
Guillaume Melquiond
2016-10-02
*
|
Fix CAMLP4 compilation.
Pierre-Marie Pédrot
2016-09-14
*
|
Unify location handling of error functions.
Emilio Jesus Gallego Arias
2016-08-19
|
/
*
Remove lexing of ordinal notations.
Maxime Dénès
2016-07-03
*
Parsing/compat.ml4: avoid "let open" syntax, unsupported by my camlp5 6.11
Pierre Letouzey
2016-06-21
*
Add file name, line number and beginning of line position to locations.
Maxime Dénès
2016-06-20
*
Set required version of camlp5 to 6.06.
Maxime Dénès
2016-06-17
*
Removing dead code in Compat.
Pierre-Marie Pédrot
2016-05-10
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-09
|
\
|
*
Rename Lexer -> CLexer.
Pierre-Marie Pédrot
2016-05-09
*
|
Removing dead code in Compat.
Pierre-Marie Pédrot
2016-04-25
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-04-24
|
\
|
|
*
A fix to #4666 (Exc_located capsule added by camlp5 overwriting
Hugo Herbelin
2016-04-12
*
|
Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND move.
Pierre-Marie Pédrot
2016-03-06
*
|
Removing the METAIDENT token, as it is not used anymore.
Pierre-Marie Pédrot
2016-02-24
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
|
Fixing non exhaustive pattern-matching in 003fe3d5e60b.
Hugo Herbelin
2015-12-25
*
|
Removing the dependencies of Pcoq in IFDEF macros.
Pierre-Marie Pédrot
2015-10-21
|
/
*
Update headers.
Maxime Dénès
2015-01-12
*
Fixing CAMLP4 compilation.
Pierre-Marie Pédrot
2014-12-16
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
*
Fixing Camlp4 compilation.
ppedrot
2013-06-30
*
Removing Exc_located and using the new exception enrichement
ppedrot
2013-02-18
*
Avoiding collision between Camlp4 Loc.Exc_located and Coq's Loc.Exc_located.
herbelin
2012-12-22
*
Early translation of camlp4/camlp5 located errors into coq-located
herbelin
2012-12-04
*
restore compatibility with camlp5 < 6.00
letouzey
2012-10-06
*
Moved Compat to parsing. This permits to break the dependency of the
ppedrot
2012-10-04