| Age | Commit message (Expand) | Author |
|---|
| 2018-07-17 | Remove fourier plugin | Maxime Dénès |
| 2018-07-11 | [coqpp] Move to its own directory. | Emilio Jesus Gallego Arias |
| 2018-07-10 | Compile coqpp inside the bin/ folder and make it available after installation. | Pierre-Marie Pédrot |
| 2018-07-07 | Merge PR #7921: Archive the `gallina` tool | Maxime Dénès |
| 2018-07-07 | Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq... | Enrico Tassi |
| 2018-06-30 | Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE). | Jim Fehrle |
| 2018-06-29 | Splitting primitive numeral parser/printer for positive, N, Z into three files. | Hugo Herbelin |
| 2018-06-25 | Archive the `gallina` tool | Vincent Laporte |
| 2018-05-23 | Merge PR #7414: Add .byte targets for every bestocaml target | Enrico Tassi |
| 2018-05-21 | [stm] Make toplevels standalone executables. | Emilio Jesus Gallego Arias |
| 2018-05-16 | Modify make system to include Makefile.common in the test suite | Gaëtan Gilbert |
| 2018-05-16 | add unit tests to test suite | Paul Steckler |
| 2018-05-03 | Add .byte targets for every bestocaml target | Gaëtan Gilbert |
| 2018-04-23 | [api] Relocate `intf` modules according to dependency-order. | Emilio Jesus Gallego Arias |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-12-27 | [API] remove large file containing duplicate interfaces | Enrico Tassi |
| 2017-12-23 | [lib] Split auxiliary libraries into Coq-specific and general. | Emilio Jesus Gallego Arias |
| 2017-12-10 | [build] Remove coqmktop in favor of ocamlfind. | Emilio Jesus Gallego Arias |
| 2017-08-29 | [general] Merge parsing with highparsing, put toplevel at the top of the link... | Emilio Jesus Gallego Arias |
| 2017-08-29 | Merge PR #937: [general] Remove spurious dependency of highparsing on toplevel. | Maxime Dénès |
| 2017-07-31 | [general] Remove spurious dependency of highparsing on toplevel. | Emilio Jesus Gallego Arias |
| 2017-07-27 | [make] remove compat5 file. | Emilio Jesus Gallego Arias |
| 2017-07-11 | Add timing scripts | Jason Gross |
| 2017-06-15 | plugins/ltac : avoid spurious .cmxs files | Pierre Letouzey |
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2017-06-12 | Merge PR#709: Bytecode compilation apart from 'make world', again | Maxime Dénès |
| 2017-06-09 | Makefile.common: remove an obsolete comment after PR#499 | Pierre Letouzey |
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik |
| 2017-06-06 | Merge the ssr plugin. | Maxime Dénès |
| 2017-06-01 | drop vo.itarget files and compute the corresponding the corresponding values ... | Matej Kosik |
| 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-04-07 | Remove a forgotten rule for decl_mode from the Makefile. | Pierre-Marie Pédrot |
| 2017-04-06 | Merge PR#455: Farewell decl_mode | Maxime Dénès |
| 2017-03-09 | Fixing dependency order of plugins. | Hugo Herbelin |
| 2017-03-07 | Farewell decl_mode | Enrico Tassi |
| 2017-02-17 | Ltac as a plugin. | Pierre-Marie Pédrot |
| 2017-02-15 | [cosmetic] Reorder makefile as suggested by @herbelin | Emilio Jesus Gallego Arias |
| 2017-02-15 | [stm] Break stm/toplevel dependency loop. | Emilio Jesus Gallego Arias |
| 2016-07-05 | Revert "Merge remote-tracking branch 'github/pr/229' into trunk" | Maxime Dénès |
| 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-24 | Makefile.install: fix the install of plugin cmi | Pierre Letouzey |
| 2016-06-21 | Makefile: compat5* moved in grammar/, less -I given to camlp4o | Pierre Letouzey |
| 2016-06-16 | Fix Makefile after ssrmatching merge | Enrico Tassi |
| 2016-06-14 | Merge remote-tracking branch 'origin/pr/146' into trunk | Enrico Tassi |
| 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-02 | Makefile.common: update PRIVATEBINARIES to repair the build on MACOS | Pierre Letouzey |
| 2016-06-01 | Makefile.common : avoid warnings about files linked twice | Pierre Letouzey |
