| Commit message (Expand) | Author | Age |
|---|
| * | Seeing configure as a static resolution of path, hence hardwiring long |  Hugo Herbelin | 2015-10-26 |
| * | Fixing bugs in options of the configure. | Hugo Herbelin | 2015-10-26 |
| * | Preventing using OCaml 4.02.0 for compiling Coq as compilation times | Hugo Herbelin | 2015-10-26 |
| * | Disable native_compute on Windows by default. |  Maxime Dénès | 2015-09-16 |
| * | In configure: -no-native-compiler -> -native-compiler no | Maxime Dénès | 2015-09-16 |
| * | Remove duplicate code. |  Guillaume Melquiond | 2015-08-17 |
| * | Remove generatable documentation files from repository. (Fix bug #4315) | Guillaume Melquiond | 2015-08-17 |
| * | Use the same optimization level for the VM, whatever the debug level. | Guillaume Melquiond | 2015-07-08 |
| * | Disable precompilation for native_compute by default. | Guillaume Melquiond | 2015-05-14 |
| * | Compile the VM code with some optimizations (+130% speedup). | Guillaume Melquiond | 2015-04-27 |
| * | Change magic numbers. |  Matthieu Sozeau | 2015-04-20 |
| * | 8.5beta2 release. | Matthieu Sozeau | 2015-04-17 |
| * | configure: fix paths on cygwin |  Enrico Tassi | 2015-04-16 |
| * | add coqdep in distributed_exec, else make does not work. |  Benjamin Gregoire | 2015-03-26 |
| * | 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-03-03 |
| * | Trying to fix code locating camlp4/camlp5. | Maxime Dénès | 2015-02-26 |
| * | Not building the doc by default. | Maxime Dénès | 2015-02-25 |
| * | Fixup version & copyright for MacOS bundle |  Pierre Boutillier | 2015-02-13 |
| * | Win: use .exe extension for the ocaml compiler (Close 3572) | Enrico Tassi | 2015-02-11 |
| * | Detecting automatically whether .opt versions of ocaml executables exist; | Hugo Herbelin | 2015-02-04 |
| * | Bump version and magic numbers in configure. | Maxime Dénès | 2015-01-13 |
| * | Fix #3163 and #3843 part 1 : Cygwin DLLs have extension ".so", not ".dll" |  Pierre Boutillier | 2014-12-12 |
| * | Allow camlp5 to have version numbers like "6.09-exp" |  jbapple | 2014-10-28 |
| * | configure.ml: opam camlp5 + system ocaml works | Pierre Boutillier | 2014-09-18 |
| * | 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-17 |
| * | Make CoqIDE compile with windows (Closes: 3573) | Enrico Tassi | 2014-09-04 |
| * | Fixup introduction of coqworkmgr | Pierre Boutillier | 2014-09-02 |
| * | Configure.ml creates metadata to annotate MacOS binaries | Pierre Boutillier | 2014-08-26 |
| * | md5 for MacOS | Pierre | 2014-05-06 |
| * | Remove the -fno-defer-pop cflag |  Jason Gross | 2014-03-18 |
| * | Set officially the minimal OCaml requirement to 3.12.1 |  Pierre Letouzey | 2014-03-02 |
| * | Fix compilation of coq and plugins using coq_makefile under cygwin | Enrico Tassi | 2014-02-28 |
| * | Fix coqide build under MacOS | Pierre Boutillier | 2014-02-24 |
| * | 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-30 |
| * | configure.ml fixed wrt Win32 + byte-only + coqide | Enrico Tassi | 2014-01-26 |
| * | The configure script now outputs the parameters it was fed with in |  Pierre-Marie Pédrot | 2014-01-24 |
| * | Makefiles use $(foo), not $foo, for variables | Jason Gross | 2014-01-18 |
| * | Goodbye typerex, Hello merlin | Pierre | 2014-01-09 |
| * | md5 for MacOS | Pierre | 2014-01-09 |
| * | configure.ml: our configure script is now written in ML :-) | Pierre Letouzey | 2013-12-20 |
Hugo Herbelin
Maxime Dénès
Guillaume Melquiond
Matthieu Sozeau
Enrico Tassi
Benjamin Gregoire
Pierre Boutillier
Pierre Boutillier
jbapple
Jason Gross
Pierre Letouzey
Pierre-Marie Pédrot