coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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