coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\|
*	Remove (useless) aliases from the API.	Matej Košík	2017-06-10
\|
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
\|
*	Adding a proper interface to Newring.	Pierre-Marie Pédrot	2015-01-25
	The ring ASTs were put in a separate interface, and only the extension-related code was put in a dedicated G_newring file.