Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Put all plugins behind an "API". | 2017-06-07 | |
* | [checker] Add bin/votour to the coqocaml target. | 2017-05-26 | |
* | Travis: add -warn-error targets (standard and 4.04.1 ocaml) | 2017-05-17 | |
* | [camlpX] Enrico's changes to camlp4 removal. | 2017-04-07 | |
* | Ltac as a plugin. | 2017-02-17 | |
* | Merge branch 'v8.6' | 2016-09-02 | |
|\ | |||
| * | Missing .PHONY targets. | 2016-08-30 | |
* | | No more dev/printers.cma | 2016-07-26 | |
* | | Makefile.dev: fix a typo in the 'logic' rule | 2016-07-13 | |
| * | Makefile.dev: fix a typo in the 'logic' rule | 2016-07-13 | |
|/ | |||
* | Makefile.install: fix the install of plugin cmi | 2016-06-24 | |
* | Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install} | 2016-06-08 |