coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin	2011-07-16
	that forces a given type to always be printed as a record, or with a constructor, regardless of the setting of 'Printing Records'. And this is that patch that controls printing by type. (patch from Tom Prince) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14286 85f007b7-540e-0410-9357-904b9bb8a0f7