index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
_tags
Commit message (
Expand
)
Author
Age
*
Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)
letouzey
2010-07-15
*
Misc fixes related to new nsatz (and ocamlbuild)
letouzey
2010-06-03
*
Ocamlbuild: various fix
letouzey
2010-05-19
*
static (and shared) camlp4use instead of per-file declaration
letouzey
2010-05-19
*
Myocamlbuild: slight simplification of code for .ml4
letouzey
2010-03-18
*
Fix the build of coq via ocamlbuild
letouzey
2009-12-08
*
Use camlp4 to accept some specific non-exhaustive patterns in groebner
letouzey
2009-07-20
*
_tags: lexer.ml4 now uses pa_macro
letouzey
2009-04-28
*
ocamlbuild: tags for new file tactics/rewrite.ml4
letouzey
2009-04-08
*
Csdpcert: adaptation after last commit
letouzey
2009-03-29
*
ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)
letouzey
2009-03-29
*
ocamlbuild: coqide, coqchk, a bit of .vo
letouzey
2009-03-26
*
ocamlbuild improvements + minor makefile fix
letouzey
2009-03-24
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20