| Age | Commit message (Expand) | Author |
|---|
| 2017-08-29 | test-suite: depend on byte compilation too | Enrico Tassi |
| 2017-08-12 | More portable location for the time command. | Théo Zimmermann |
| 2017-08-01 | Merge PR #921: [make] remove compat5 file. | Maxime Dénès |
| 2017-07-28 | Merge PR #852: Makefile: fails if some .vo or .cm* file has no source | Maxime Dénès |
| 2017-07-27 | [make] remove compat5 file. | Emilio Jesus Gallego Arias |
| 2017-07-26 | make sure that API-leaks cannot be reintroduced by mistake | Matej Košík |
| 2017-07-20 | Merge branch 'v8.7' | Maxime Dénès |
| 2017-07-17 | [API] Remove `open API` in ml files in favor of `-open API` flag. | Emilio Jesus Gallego Arias |
| 2017-07-11 | Add timing scripts | Jason Gross |
| 2017-07-08 | Fix TIMED=1 on Mac OSX | Jason Gross |
| 2017-07-05 | Makefile: fails if some .vo or .cm* file has no source | Pierre Letouzey |
| 2017-06-30 | Better support for make TIMED=1 on Windows | Jason Gross |
| 2017-06-15 | Makefile.build : restore (temporarily?) the anti-cmi-corruption hacks | Pierre Letouzey |
| 2017-06-14 | Makefile.build : cleanup now that micromega.ml isn't generated + sync check o... | Pierre Letouzey |
| 2017-06-14 | Merge PR#498: Bignums as a separate opam package | Maxime Dénès |
| 2017-06-13 | Makefile.build: do *not* build PLUGINSCMO by default (followup of PR #709) | Pierre Letouzey |
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2017-06-12 | Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge... | Matej Košík |
| 2017-06-12 | Merge PR#709: Bytecode compilation apart from 'make world', again | Maxime Dénès |
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik |
| 2017-06-02 | Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin... | Maxime Dénès |
| 2017-06-01 | mention 'make world' without 'byte' in CHANGES + 2 minor suggestions | Pierre Letouzey |
| 2017-06-01 | a solution that works also with make 3.81 | Matej Kosik |
| 2017-06-01 | extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME... | Matej Kosik |
| 2017-05-31 | Makefile.build: test-suite all = run + report, so don't report again | Gaëtan Gilbert |
| 2017-05-30 | Makefile: $(BEST) controls which coqtop is used to build .vo | Pierre Letouzey |
| 2017-05-30 | Makefile: no bytecode compilation in make world, see make byte instead | Pierre Letouzey |
| 2017-05-23 | ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli | Enrico Tassi |
| 2017-04-07 | [camlpX] Enrico's changes to camlp4 removal. | Emilio Jesus Gallego Arias |
| 2017-04-07 | [camlpX] Remove camlp4 compat layer. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [xml] Restore protocol compatibility with 8.6. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [pp] Remove richpp from fake_ide. | Emilio Jesus Gallego Arias |
| 2017-03-21 | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias |
| 2016-10-19 | Converting certain "order-only" (Makefile) dependencies to regular dependencies. | Matej Kosik |
| 2016-07-26 | No more dev/printers.cma | Pierre Letouzey |
| 2016-07-26 | Makefile.build: minor simplification | Pierre Letouzey |
| 2016-07-12 | Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4 | Pierre Letouzey |
| 2016-07-12 | Removing "READABLE_ML4=" from "Makefile.build" | Matej Kosik |
| 2016-07-11 | Removing "VERBOSE=" from "Makefile.build" | Matej Kosik |
| 2016-07-05 | Revert "Merge remote-tracking branch 'github/pr/229' into trunk" | Maxime Dénès |
| 2016-07-04 | Merge remote-tracking branch 'github/pr/229' into trunk | Maxime Dénès |
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | Pierre Letouzey |
| 2016-06-29 | Makefile: $(BEST) controls which coqtop is used to build .vo | Pierre Letouzey |
| 2016-06-29 | Makefile: no bytecode compilation in make world, see make byte instead | Pierre Letouzey |
| 2016-06-29 | A new infrastructure for warnings. | Maxime Dénès |
| 2016-06-24 | remove an old workaround for OCaml 3.11 + MacOS natdynlink | Pierre Letouzey |
| 2016-06-24 | Makefile.build: mitigate potential issues with multiple creations of pack .cmi | Pierre Letouzey |
| 2016-06-22 | Makefile.build: "make;make" should redo nothing | Pierre Letouzey |
| 2016-06-21 | Makefile: compat5* moved in grammar/, less -I given to camlp4o | Pierre Letouzey |
| 2016-06-15 | Makefile.build: ensure a build failure in case of a missing rule | Pierre Letouzey |
