coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Type-safe version of genarg list / pair / opt functions.	Pierre-Marie Pédrot	2014-08-29
*	Simplification of Genarg unpackers.	Pierre-Marie Pédrot	2014-08-29
*	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey	2014-03-05
*	Remove unsafe code (Obj.magic) in Tacinterp.	Arnaud Spiwack	2014-02-27
*	Adding a default object to generic argument registering mechanism.	Pierre-Marie Pédrot	2014-01-19
*	Removing the useless pattern ident genarg.	Pierre-Marie Pédrot	2013-12-19
*	Removing RefArgType generic argument.	Pierre-Marie Pédrot	2013-12-01
*	Getting rid of casted_open_constr. It was only used by the	Pierre-Marie Pédrot	2013-11-30
*	Small cleaning of printing coercion failures in Ltac interpretation.	ppedrot	2013-08-04
*	Removing SortArgType.	ppedrot	2013-07-05
*	Expurgating the useless difference between List0 and List1 at the	ppedrot	2013-07-05
*	Using functors to reduce the boilerplate used in registering	ppedrot	2013-06-30
*	Getting rid of IntroPatternArgType.	ppedrot	2013-06-27
*	Splitted up Genarg in four different levels:	ppedrot	2013-06-21