| Age | Commit message (Expand) | Author |
|---|
| 2015-07-08 | Use the same optimization level for the VM, whatever the debug level. | Guillaume Melquiond |
| 2015-05-14 | Disable precompilation for native_compute by default. | Guillaume Melquiond |
| 2015-04-27 | Compile the VM code with some optimizations (+130% speedup). | Guillaume Melquiond |
| 2015-04-20 | Change magic numbers. | Matthieu Sozeau |
| 2015-04-17 | 8.5beta2 release. | Matthieu Sozeau |
| 2015-04-16 | configure: fix paths on cygwin | Enrico Tassi |
| 2015-03-26 | add coqdep in distributed_exec, else make does not work. | Benjamin Gregoire |
| 2015-03-03 | Improving display of camlp4/camlp5 versions, library and binary locations. | Hugo Herbelin |
| 2015-03-03 | Reinstalling search of camlpX in camldir, when given, for | Hugo Herbelin |
| 2015-02-26 | Trying to fix code locating camlp4/camlp5. | Maxime Dénès |
| 2015-02-25 | Not building the doc by default. | Maxime Dénès |
| 2015-02-13 | Fixup version & copyright for MacOS bundle | Pierre Boutillier |
| 2015-02-11 | Win: use .exe extension for the ocaml compiler (Close 3572) | Enrico Tassi |
| 2015-02-04 | Detecting automatically whether .opt versions of ocaml executables exist; | Hugo Herbelin |
| 2015-01-13 | Bump version and magic numbers in configure. | Maxime Dénès |
| 2014-12-12 | Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll" | Pierre Boutillier |
| 2014-10-28 | Allow camlp5 to have version numbers like "6.09-exp" | jbapple |
| 2014-09-18 | configure.ml: opam camlp5 + system ocaml works | Pierre Boutillier |
| 2014-09-17 | win32: bring back the coq icon in the coqide binary | Enrico Tassi |
| 2014-09-17 | win32: use subsystem windows on windows (and not console) | Enrico Tassi |
| 2014-09-04 | Make CoqIDE compile with windows (Closes: 3573) | Enrico Tassi |
| 2014-09-02 | Fixup introduction of coqworkmgr | Pierre Boutillier |
| 2014-08-26 | Configure.ml creates metadata to annotate MacOS binaries | Pierre Boutillier |
| 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 |
