| Commit message (Expand) | Author | Age |
... | |
| * | In configure: -no-native-compiler -> -native-compiler no | Maxime Dénès | 2015-09-16 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-08-22 |
|\| |
|
| * | Remove duplicate code. | Guillaume Melquiond | 2015-08-17 |
| * | Remove generatable documentation files from repository. (Fix bug #4315) | Guillaume Melquiond | 2015-08-17 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-07-18 |
|\| |
|
| * | Use the same optimization level for the VM, whatever the debug level. | Guillaume Melquiond | 2015-07-08 |
* | | All invocations to ocaml compilers go through ocamlfind | Pierre Boutillier | 2015-06-22 |
* | | Merge v8.5 into trunk | Hugo Herbelin | 2015-05-15 |
|\| |
|
| * | Disable precompilation for native_compute by default. | Guillaume Melquiond | 2015-05-14 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-05-05 |
|\| |
|
| * | 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 |
* | | Merge branch 'v8.5' into trunk | Enrico Tassi | 2015-03-30 |
|\| |
|
| * | add coqdep in distributed_exec, else make does not work. | Benjamin Gregoire | 2015-03-26 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-03-04 |
|\| |
|
| * | 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 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-02-26 |
|\| |
|
| * | 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 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-02-15 |
|\| |
|
| * | Fixup version & copyright for MacOS bundle | Pierre Boutillier | 2015-02-13 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-02-13 |
|\| |
|
| * | Win: use .exe extension for the ocaml compiler (Close 3572) | Enrico Tassi | 2015-02-11 |
* | | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-02-10 |
|\| |
|
| * | Detecting automatically whether .opt versions of ocaml executables exist; | Hugo Herbelin | 2015-02-04 |
* | | Revert "Bump version and magic numbers in configure." | Maxime Dénès | 2015-01-15 |
|/ |
|
* | 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 |