coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16148 85f007b7-540e-0410-9357-904b9bb8a0f7
*	More monomorphizations	ppedrot	2012-11-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15969 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added Print Assumptions command to CoqIDE	ppedrot	2012-09-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15788 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15781 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15352 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Renamed Undo to conform to CoqIDE widget naming convention. In addition,	ppedrot	2012-05-05
\| \| \| \| \| \| \|	made various hack to handle GtkSourceView built-in undo/redo and made method types and names more compliant with the one of Gtk. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15280 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide coq lexer put one tag at the end of a sentence.	pboutill	2012-05-02
\| \| \| \| \| \| \|	And that's all ! It erase the possibility of code folding... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15268 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ↵	ppedrot	2012-04-23
\| \| \| \| \| \|	code that used to serve as such a long time ago. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15234 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15215 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added a tab changing command in CoqIDE and moved display options around	ppedrot	2012-04-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15200 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
\| \| \| \| \| \| \| \|	We can be easily substitute Gdk.Windowing by a glance of configure work... This reverts commit 8b6f6b1c4b60e74dccd5d8c49bdd433e19d53bf4. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14208 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
\| \| \| \| \| \|	Because of lablgtk issues, accel_maps can't be customized well on MacOS git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14180 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10
	You'll need to remove/edit your ~/.coqiderc and ~/.coqide.keys. As it used to be, accelerator modifiers changes are only done after a reboot but we need more binding in lablgtk to improve that... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14178 85f007b7-540e-0410-9357-904b9bb8a0f7