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