coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Change how the number of open goals is printed.	aspiwack	2012-07-04
*	When focused on an empty list of goal (after finishing a subproof introduced	aspiwack	2012-07-04
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Fixing bug #2809 (anomaly when printing a module with notations due to	herbelin	2012-06-20
*	Fixing some inconsistencies of constr printer wrt constr parser	herbelin	2012-06-19
*	Internalization of pattern is done in two phases.	pboutill	2012-06-14
*	Fixing test-suite after last storm in Pp.	pboutill	2012-06-12
*	Replacing some str with strbrk	ppedrot	2012-06-04
*	More uniformisation in Pp.warn functions.	ppedrot	2012-05-30
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29