| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 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-05-31 | Checker: no more -I kernel via a few symlinks (for Names and Esubst) | Pierre Letouzey |
| 2016-03-21 | Creating a dedicated ltac/ folder for Hightactics. | Pierre-Marie Pédrot |
| 2016-03-02 | Ssreflect pattern matching facilities | Enrico Tassi |
| 2016-01-21 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2016-01-13 | MMaps: remove it from final 8.5 release, since this new library isn't mature ... | Pierre Letouzey |
| 2015-10-02 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-09-30 | Build the compatibility files. | Guillaume Melquiond |
| 2015-08-22 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-08-17 | Remove generatable documentation files from repository. (Fix bug #4315) | Guillaume Melquiond |
| 2015-08-05 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-07-31 | Improve the table of content of the reference manual. | Guillaume Melquiond |
| 2015-07-02 | Merge branch 'v8.5' into trunk | Maxime Dénès |
| 2015-07-02 | Revert "Add target to install dev files." | Maxime Dénès |
| 2015-06-28 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-06-26 | Add target to install dev files. | Matthieu Sozeau |
| 2015-03-04 | Introducing MMaps, a modernized FMaps. | Pierre Letouzey |
