coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11954 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Report des commits 11417 et 11437 de la v8.2	soubiran	2008-10-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11454 85f007b7-540e-0410-9357-904b9bb8a0f7
*	fixed bug #1927 + univ constraints (module cstrs include cstrs of its ↵	barras	2008-09-02
\| \| \| \| \| \|	subcomponents) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11348 85f007b7-540e-0410-9357-904b9bb8a0f7
*	fixed bug with aliases	barras	2008-05-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10896 85f007b7-540e-0410-9357-904b9bb8a0f7
*	checker deals with polymorphic constants and module aliases	barras	2008-05-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10892 85f007b7-540e-0410-9357-904b9bb8a0f7
*	added the .vo checker (with independent Makefile)	barras	2008-04-21
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10826 85f007b7-540e-0410-9357-904b9bb8a0f7