aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.dev
Commit message (Expand)AuthorAge
* [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
* Prelude : no more autoload of plugins extraction and recdefGravatar Pierre Letouzey2017-06-14
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* [checker] Add bin/votour to the coqocaml target.Gravatar Emilio Jesus Gallego Arias2017-05-26
* Travis: add -warn-error targets (standard and 4.04.1 ocaml)Gravatar Gaetan Gilbert2017-05-17
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Ltac as a plugin.Gravatar Pierre-Marie Pédrot2017-02-17
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-09-02
|\
| * Missing .PHONY targets.Gravatar Pierre-Marie Pédrot2016-08-30
* | No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* | Makefile.dev: fix a typo in the 'logic' ruleGravatar Pierre Letouzey2016-07-13
| * Makefile.dev: fix a typo in the 'logic' ruleGravatar Pierre Letouzey2016-07-13
|/
* Makefile.install: fix the install of plugin cmiGravatar Pierre Letouzey2016-06-24
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 07:57:09 +0000