index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
compat.ml4
Commit message (
Expand
)
Author
Age
*
Fix compilation with camlp5 (Closes: #2487)
glondu
2011-01-25
*
Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commands
glondu
2010-12-25
*
Use !Pp_control.std_ft for printing grammars
glondu
2010-12-06
*
adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6
letouzey
2010-11-18
*
Support for camlp5 6.02.0 (Closes: #2432)
glondu
2010-11-16
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
restore handling of lexer errors
letouzey
2010-06-01
*
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-19
*
Discontinue support for ocaml 3.09.*
letouzey
2010-05-19
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
- Cleaning (unification of ML names, removal of obsolete code,
herbelin
2009-04-27
*
* Adding compability with ocaml 3.10 + camlp5 (rework of
letouzey
2007-09-15
*
New bootstrapping, improved, Makefile system
corbinea
2007-07-13
*
Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...
herbelin
2005-05-17
*
Protection unloc
herbelin
2004-07-29
*
Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...
herbelin
2004-07-27
*
Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06
herbelin
2004-07-17
*
Mise en place mécanisme de compatibilité ocaml 3.08
herbelin
2004-07-16