coq/dev/tools/univdot, branch master The formal proof system Remove obsolete script univdot, update dev doc about universes 2010-12-24T23:49:15+00:00 glondu 2010-12-24T23:49:15+00:00 e5b94c29ff49f8b880290a72519157d26351bc6c By the way, definitely remove "Dump Universes", which has been deprecated since 2006 (r9306). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13754 85f007b7-540e-0410-9357-904b9bb8a0f7 
By the way, definitely remove "Dump Universes", which has been
deprecated since 2006 (r9306).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13754 85f007b7-540e-0410-9357-904b9bb8a0f7
Restructuration dossier dev et mise à jour de certaines documentations 2006-05-23T21:51:59+00:00 herbelin 2006-05-23T21:51:59+00:00 e24d8149c3aefd11b03458b6f9b3e38ca454b07a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7