coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Coqide Fix highlighting of Extraction, Import, Variables	pboutill	2012-09-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15771 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Better highlighting of strings in coqide.	aspiwack	2012-08-24
\| \| \| \| \| \| \| \| \| \| \| \|	Strings were not highlighted out of comments. This would lead to funny result, like certain strings (i.e. "(*") to cause all following code to be highlighted as a string. I've added strings in three different contexts (the same where comments are highlighted). I think it's safe to do, I don't know if it's the best way, though. In particular I don't know if it's the best way to highlight notations. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15761 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixes bug #2857.	aspiwack	2012-08-10
\| \| \| \| \| \|	Coqide used the wrong escape sequence to delimit coq phrases. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15720 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide highligthing is back (done by gtksourceview).	pboutill	2012-05-02
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15269 85f007b7-540e-0410-9357-904b9bb8a0f7