coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[META] Some dependency fixes.	Emilio Jesus Gallego Arias	2017-12-09
\|
*	[general] Merge parsing with highparsing, put toplevel at the top of the ↵	Emilio Jesus Gallego Arias	2017-08-29
\| \| \| \|	linking chain.
*	[meta] [api] Fix META file for API introduction.	Emilio Jesus Gallego Arias	2017-06-29
\|
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
\|
*	[META] add support for ide libraries	Emilio Jesus Gallego Arias	2017-03-23
\| \| \| \|	This makes sense for clients willing to link to richpp.
*	[META] [build] Install dlls to kernel/byterun	Emilio Jesus Gallego Arias	2017-03-10
\| \| \| \|	This makes the dll path consistent both in `-local` and non-local Coq install.
*	[META] Ltac now a plugin.	Emilio Jesus Gallego Arias	2017-03-10
\|
*	[META] Update version number.	Emilio Jesus Gallego Arias	2017-03-10
\|
*	[ocamlbuild] fix small mistakes in descriptions	Théo Zimmermann	2017-02-20
\|
*	[ocamlbuild] Update meta for the vernac split.	Emilio Jesus Gallego Arias	2017-02-20
\|
*	[build] META file to enable plugin linking with ocamlfind.	Emilio Jesus Gallego Arias	2016-10-28
	This allows building SerAPI and jsCoq using ocamlbuild.