coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Modulification of mod_bound_id	ppedrot	2012-12-18
*	Modulification of identifier	ppedrot	2012-12-14
*	Added a CString module.	ppedrot	2012-11-13
*	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot	2012-11-08
*	Change [Hints Resolve] to still accept constrs as arguments	msozeau	2012-10-31
*	Fixed #2926:	ppedrot	2012-10-29
*	Change Hint Resolve, Immediate to take a global reference as argument	msozeau	2012-10-26
*	Split Tacinterp in 3 files : Tacsubst, Tacintern and Tacinterp	letouzey	2012-10-16
*	still some more dead code removal	letouzey	2012-10-06
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	This patch removes unused "open" (automatically generated from	regisgia	2012-09-14
*	Added support for option Local (at module level) in Tactic Notation.	herbelin	2012-08-11
*	Updating headers.	herbelin	2012-08-08
*	Avoid a warning about unprintable new command Print Namespace	letouzey	2012-07-09
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	Fixes a bug in Ppvernac which had braces and bullets printed with an ending	aspiwack	2012-07-04
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Fixing some inconsistencies of constr printer wrt constr parser	herbelin	2012-06-19
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29