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