coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Dag: some comments on the concept of cluster	gareuselesinge	2013-10-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16876 85f007b7-540e-0410-9357-904b9bb8a0f7
*	lib/dag: various improvements	gareuselesinge	2013-09-30
\| \| \| \| \| \| \|	- clusters can hold some data - edges and nodes can be deleted git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16809 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Modulification and removing of structural equality in VCS.	ppedrot	2013-08-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16704 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Dag data structure	gareuselesinge	2013-08-08
	This is a very simple, only growing, Dag structure with per node optional info and per edge info git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16671 85f007b7-540e-0410-9357-904b9bb8a0f7