coq - the Coq proof assistant

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