| Age | Commit message (Expand) | Author |
|---|
| 2010-07-15 | Ocamlbuild: adapt to last changes for camlp4 (use of tools/compat5*.cmo) | letouzey |
| 2010-06-03 | Ocamlbuild: try to speed-up error detection in *.ml*, by byte-compiling first | letouzey |
| 2010-05-19 | Ocamlbuild: various fix | letouzey |
| 2010-05-19 | Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way | letouzey |
| 2010-05-19 | static (and shared) camlp4use instead of per-file declaration | letouzey |
| 2010-03-18 | Myocamlbuild: slight simplification of code for .ml4 | letouzey |
| 2010-02-26 | Some more adaptations for Debian-->mingw32 | letouzey |
| 2010-02-25 | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | letouzey |
| 2010-02-24 | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey |
| 2010-02-18 | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | letouzey |
| 2010-02-12 | Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen | letouzey |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-12-08 | Fix the build of coq via ocamlbuild | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-07-20 | Use camlp4 to accept some specific non-exhaustive patterns in groebner | letouzey |
| 2009-04-08 | ocamlbuild: right symlink for csdpcert | letouzey |
| 2009-04-03 | Ocamlbuild: option for (not) building coqide, better log messages | letouzey |
| 2009-04-03 | Ocamlbuild: improvements suggested by N. Pouillard | letouzey |
| 2009-03-30 | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | letouzey |
| 2009-03-29 | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey |
| 2009-03-26 | Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo) | letouzey |
| 2009-03-26 | ocamlbuild: coqide, coqchk, a bit of .vo | letouzey |
| 2009-03-24 | ocamlbuild improvements + minor makefile fix | letouzey |
| 2009-03-20 | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey |
