| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2016-06-14 | Repair the build of ide/coqidetop.cmxs (fix #4812) | Pierre Letouzey |
| 2016-06-08 | Compilation via pack for plugins of the stdlib | Pierre Letouzey |
| 2016-06-08 | Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install} | Pierre Letouzey |
| 2016-06-08 | Makefile: avoid overwriting test.ml when testing grammar.cma | Pierre Letouzey |
| 2016-06-05 | Removing the Q_constr file. | Pierre-Marie Pédrot |
| 2016-06-02 | Move ide serialization libraries from lib/ to ide/ | Emilio Jesus Gallego Arias |
| 2016-06-02 | Makefile.build: clean a bit the way MacOS binaries are signed | Pierre Letouzey |
| 2016-06-01 | Makefile.build : follow-up of previous commit | Pierre Letouzey |
| 2016-06-01 | Makefile.build : improved rules about .cm(x)a | Pierre Letouzey |
| 2016-06-01 | Makefile.build : update the otags rule | Pierre Letouzey |
| 2016-06-01 | Yet another Makefile reform : a unique phase without nasty make tricks | Pierre Letouzey |
| 2016-06-01 | Makefile: restore the use of coqdep_boot for creating .v.d files | Pierre Letouzey |
| 2016-04-27 | Revert "Adding a target for beautification." | Hugo Herbelin |
| 2016-04-27 | Revert "Adding a target check-beautify for testing reparsability of" | Hugo Herbelin |
| 2016-04-27 | Revert "Add plugins to Makefile." | Hugo Herbelin |
| 2016-04-27 | Revert "Re-add -beautify by default." | Hugo Herbelin |
