coq - The formal proof system

Age	Commit message (Collapse)	Author
2013-12-10	Renaming elisp files to avoid conflict with pg in distribs.	Pierre Courtieu

2011-07-16	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin
	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
2011-07-16	This option disables the use of the '{\| field := ... \|}' notation	herbelin
	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
2009-10-30	Removed 'dest' from keyword highlighting.	gmelquio
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12447 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-05-28	Adapted the emacs mode to font-lock. Re-using code from ProofGeneral.	courtieu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12152 85f007b7-540e-0410-9357-904b9bb8a0f7