index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile.dev
Age
Commit message (
Expand
)
Author
2017-12-27
[API] remove large file containing duplicate interfaces
Enrico Tassi
2017-11-28
CI: use -byte-only in [warnings] jobs.
Gaëtan Gilbert
2017-08-29
[general] Merge parsing with highparsing, put toplevel at the top of the link...
Emilio Jesus Gallego Arias
2017-06-14
Prelude : no more autoload of plugins extraction and recdef
Pierre Letouzey
2017-06-07
Put all plugins behind an "API".
Matej Kosik
2017-05-26
[checker] Add bin/votour to the coqocaml target.
Emilio Jesus Gallego Arias
2017-05-17
Travis: add -warn-error targets (standard and 4.04.1 ocaml)
Gaetan Gilbert
2017-04-07
[camlpX] Enrico's changes to camlp4 removal.
Emilio Jesus Gallego Arias
2017-02-17
Ltac as a plugin.
Pierre-Marie Pédrot
2016-09-02
Merge branch 'v8.6'
Pierre-Marie Pédrot
2016-08-30
Missing .PHONY targets.
Pierre-Marie Pédrot
2016-07-26
No more dev/printers.cma
Pierre Letouzey
2016-07-13
Makefile.dev: fix a typo in the 'logic' rule
Pierre Letouzey
2016-07-13
Makefile.dev: fix a typo in the 'logic' rule
Pierre Letouzey
2016-06-24
Makefile.install: fix the install of plugin cmi
Pierre Letouzey
2016-06-08
Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}
Pierre Letouzey
