| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-05-06 | md5 for MacOS | Pierre |
| 2014-03-18 | Remove the -fno-defer-pop cflag | Jason Gross |
| 2014-03-02 | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey |
| 2014-02-28 | Fix compilation of coq and plugins using coq_makefile under cygwin | Enrico Tassi |
| 2014-02-24 | Fix coqide build under MacOS | Pierre Boutillier |
| 2014-01-30 | Coqmktop without Sys.command, changes in ./configure -*byteflags options | Pierre Letouzey |
| 2014-01-30 | Relaunch all Unix.waitpid when they ended with EINTR | Pierre Letouzey |
| 2014-01-26 | configure.ml fixed wrt Win32 + byte-only + coqide | Enrico Tassi |
| 2014-01-24 | The configure script now outputs the parameters it was fed with in | Pierre-Marie Pédrot |
| 2014-01-18 | Makefiles use $(foo), not $foo, for variables | Jason Gross |
| 2014-01-09 | Goodbye typerex, Hello merlin | Pierre |
| 2014-01-09 | md5 for MacOS | Pierre |
| 2013-12-20 | configure.ml: our configure script is now written in ML :-) | Pierre Letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/configure.ml