coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-13	Fixing #4467 (continued).	Hugo Herbelin
2014-11-27	Reverting the following block of three commits:	Hugo Herbelin
2014-11-26	Experimenting always forcing convertibility on strict implicit arguments	Hugo Herbelin
2013-12-22	Notations now accept the $(...)$ tactic-in-term syntax. They are resolved at	Pierre-Marie Pédrot
2013-06-21	Splitted up Genarg in four different levels:	ppedrot
2013-06-21	Cutting the dependency of Genarg in constr_expr, glob_constr	ppedrot
2013-06-18	Proof-of-concept: moved four easy-to-handle generic arguments to	ppedrot
2012-05-29	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
2011-11-21	Renamig support added to "Arguments"	gareuselesinge
2010-05-19	Nicer representation of tokens, more independant of camlp*	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-11	Generalized the possibility to refer to a global name by a notation	herbelin
2009-03-20	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey