coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Quote API using EConstr.	Pierre-Marie Pédrot	2017-02-14
*	Merging Stdarg and Constrarg.	Pierre-Marie Pédrot	2016-09-21
*	Moving Ltac-specific generic arguments to their own file in the ltac/ folder.	Pierre-Marie Pédrot	2016-09-15
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Moving the Val module to Geninterp.	Pierre-Marie Pédrot	2016-05-04
*	Removing the special status of generic entries defined by Coq itself.	Pierre-Marie Pédrot	2016-03-17
*	The tactic generic argument now returns a value rather than a glob_expr.	Pierre-Marie Pédrot	2016-02-22
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Now parsing rules of ML-declared tactics are only made available after the	Pierre-Marie Pédrot	2014-05-12
*	Do not use ugly Dyn features in the Quote plugin. Use instead the	Pierre-Marie Pédrot	2013-11-26
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Simplify tactic(_)-bound arguments in TACTIC EXTEND rules	glondu	2010-09-30
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Add a more general quote construction	glondu	2009-03-30
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20