coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	- Correction bug highlighting "Module" dans Coqide	herbelin	2008-05-28
\| \| \| \| \| \| \| \| \|	- Divers code mort (evarutil.ml, Bvector.v) - MAJ perf-analysis git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11004 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction bugs ide undo et highlight (suite à typos)	herbelin	2008-05-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10957 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Léger backtrack sur commit coqide précédent (si la commande à annuler	herbelin	2008-05-20
\| \| \| \| \| \| \| \| \|	à potentiellement modifié l'état, on ne peut se contenter d'un Abort : il faut revenir au dernier état connu). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10951 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixed coqide bug #1856 that was introduced in revision 10915.	herbelin	2008-05-20
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10950 85f007b7-540e-0410-9357-904b9bb8a0f7