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
*
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