coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Uniformizing generic argument types.	ppedrot	2013-06-06
*	Make ist (interp_sign) available to TACTIC EXTEND code	gareuselesinge	2013-05-29
*	Use the Hook module here and there.	ppedrot	2013-05-12
*	Removing Gmap from Tacinterp.	ppedrot	2013-05-10
*	A uniformization step around understand_* and interp_* functions.	herbelin	2013-05-09
*	code simplifications concerning Summary	letouzey	2013-04-22
*	Restrict (try...with...) to avoid catching critical exn (part 10)	letouzey	2013-03-13
*	Uniformization of the "anomaly" command.	ppedrot	2013-01-28
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Yet a new reduction tactic in Coq : cbn	pboutill	2012-12-21
*	Modulification of Label	ppedrot	2012-12-18
*	Modulification of identifier	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Monomorphization (tactics)	ppedrot	2012-11-25
*	Taking into account the type of a definition (if it exists), and the	herbelin	2012-11-17
*	Split Tacinterp in 3 files : Tacsubst, Tacintern and Tacinterp	letouzey	2012-10-16