| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |