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
*	This option disables the use of the '{\| field := ... \|}' notation	herbelin	2011-07-16
\| \| \| \| \| \| \| \|	when printing. Signed-off-by: Tom Prince <tom.prince@ualberta.net> git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14284 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Removed 'dest' from keyword highlighting.	gmelquio	2009-10-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12447 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adapted the emacs mode to font-lock. Re-using code from ProofGeneral.	courtieu	2009-05-28
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12152 85f007b7-540e-0410-9357-904b9bb8a0f7