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