| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Officially discontinue the experimental coq build via ocamlbuild |  Pierre Letouzey | 2016-06-08 |
| * | Minor fix in the ./build wrapper for ocamlbuild |  letouzey | 2012-10-06 |
| * | lib directory is cut in 2 cma. |  pboutill | 2012-04-12 |
| * | Ocamlbuild needs OCAML_LD_LIBRARY_PATH (bug #2502) |  glondu | 2011-02-25 |
| * | Some more adaptations for Debian-->mingw32 | letouzey | 2010-02-26 |
| * | mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build script | letouzey | 2010-02-25 |
| * | Win32 cross-compilation from debian: build of coqide.exe and other binaries | letouzey | 2010-02-24 |
| * | Experimental build of coqtop.exe + plugins via cross-compilation linux-->win32 | letouzey | 2010-02-18 |
| * | Remove bashisms | glondu | 2010-01-28 |
| * | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch |  herbelin | 2009-04-08 |
| * | Ocamlbuild: improvements suggested by N. Pouillard | letouzey | 2009-04-03 |
| * | ocamlbuild improvements + minor makefile fix | letouzey | 2009-03-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |