aboutsummaryrefslogtreecommitdiffhomepage
path: root/_tags
Commit message (Expand)AuthorAge
* Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo)Gravatar letouzey2010-07-15
* Misc fixes related to new nsatz (and ocamlbuild)Gravatar letouzey2010-06-03
* Ocamlbuild: various fixGravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Myocamlbuild: slight simplification of code for .ml4Gravatar letouzey2010-03-18
* Fix the build of coq via ocamlbuildGravatar letouzey2009-12-08
* Use camlp4 to accept some specific non-exhaustive patterns in groebnerGravatar letouzey2009-07-20
* _tags: lexer.ml4 now uses pa_macroGravatar letouzey2009-04-28
* ocamlbuild: tags for new file tactics/rewrite.ml4Gravatar letouzey2009-04-08
* Csdpcert: adaptation after last commitGravatar letouzey2009-03-29
* ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)Gravatar letouzey2009-03-29
* ocamlbuild: coqide, coqchk, a bit of .voGravatar letouzey2009-03-26
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 05:55:50 +0000