coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias	2018-05-31
*	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias	2018-05-27
*	[api] [parsing] Move Egram* to `vernac/`	Emilio Jesus Gallego Arias	2018-05-27
*	[api] Move `Vernacexpr` to parsing.	Emilio Jesus Gallego Arias	2018-05-23
*	[general] Merge parsing with highparsing, put toplevel at the top of the link...	Emilio Jesus Gallego Arias	2017-08-29
*	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
*	Removing the Entry module now that rules need not be marshalled.	Pierre-Marie Pédrot	2016-05-10
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\
\| *	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09
* \|	Pcoq entries are given a proper module.	Pierre-Marie Pédrot	2015-10-26
\|/
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Removing the use of leveled tactics wit_tacticn. It is now handled	ppedrot	2013-07-02
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	Extend become a mli-only file in intf/	letouzey	2012-05-29
*	Avoid Dumpglob dependency on Lexer	letouzey	2012-05-29
*	Split Egrammar into Egramml and Egramcoq	letouzey	2012-05-29
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	- Cleaning (unification of ML names, removal of obsolete code,	herbelin	2009-04-27
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20