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] Move `Constrexpr` to the `interp` module.	Emilio Jesus Gallego Arias	2018-05-31
*	[api] Remove deprecated objects in engine / interp / library	Emilio Jesus Gallego Arias	2018-05-30
*	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias	2018-04-23
*	[parser] Remove unnecessary statically initialized hook.	Emilio Jesus Gallego Arias	2017-11-19
*	[general] Move Tactypes to `interp`	Emilio Jesus Gallego Arias	2017-11-01
*	[coqlib] Move `Coqlib` to `library/`.	Emilio Jesus Gallego Arias	2017-05-27
*	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
*	Fixing #4467 (continued).	Hugo Herbelin	2016-01-13
*	Reverting the following block of three commits:	Hugo Herbelin	2014-11-27
*	Experimenting always forcing convertibility on strict implicit arguments	Hugo Herbelin	2014-11-26
*	Notations now accept the $(...)$ tactic-in-term syntax. They are resolved at	Pierre-Marie Pédrot	2013-12-22
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21
*	Cutting the dependency of Genarg in constr_expr, glob_constr	ppedrot	2013-06-21
*	Proof-of-concept: moved four easy-to-handle generic arguments to	ppedrot	2013-06-18
*	Avoid Dumpglob dependency on Lexer	letouzey	2012-05-29
*	Basic stuff about constr_expr migrated from topconstr to constrexpr_ops	letouzey	2012-05-29
*	Stuff about notation_constr (ex-aconstr) now in notation_ops.ml	letouzey	2012-05-29
*	Renamig support added to "Arguments"	gareuselesinge	2011-11-21
*	Nicer representation of tokens, more independant of camlp*	letouzey	2010-05-19
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Generalized the possibility to refer to a global name by a notation	herbelin	2009-09-11
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20