aboutsummaryrefslogtreecommitdiff
path: root/coq.itarget
AgeCommit message (Expand)Author
2009-04-03Ocamlbuild: improvements suggested by N. Pouillardletouzey
2009-03-29ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc)letouzey
2009-03-26Ocamlbuild: 1st reasonably complete version (rules for binaries + plugins + vo)letouzey
2009-03-26ocamlbuild: coqide, coqchk, a bit of .voletouzey
2009-03-24ocamlbuild improvements + minor makefile fixletouzey
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey