coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	coqide: bugfix du C-C pendant Undo+paren_highlight	monate	2003-03-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3798 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: efficacite des buts etc...	monate	2003-03-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3795 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes ↵	monate	2003-03-26
\| \| \| \| \| \|	locaux. Reparation du Undo avec Section et constantes de meme nom. Decoupe tag modifie git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3793 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: addloadpath corrige	monate	2003-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3792 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide: maj commandes	monate	2003-03-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3766 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3741 85f007b7-540e-0410-9357-904b9bb8a0f7
*	IDE: maj	monate	2003-03-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3734 85f007b7-540e-0410-9357-904b9bb8a0f7
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3728 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ↵	monate	2003-02-27
\| \| \| \| \| \|	Contextual colorization. Synchronization problems solved. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3719 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ide:copy/paste fix	monate	2003-02-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3703 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	monate	2003-02-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3691 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3689 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Undo dans Coq IDE	filliatr	2003-02-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3673 85f007b7-540e-0410-9357-904b9bb8a0f7
*	interface GTK2 experimentale	monate	2003-02-04
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7