coq/KNOWN-BUGS, branch master The formal proof system removed prehistoric files 2009-02-10T14:58:38+00:00 barras 2009-02-10T14:58:38+00:00 65d027ba5ffcec61e66b1a047b135bea2f281c44 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11903 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11903 85f007b7-540e-0410-9357-904b9bb8a0f7
Mise a jour KNOWN-BUGS 2001-04-24T15:05:41+00:00 mohring 2001-04-24T15:05:41+00:00 45e4cf2a722a3f9d43ddc0ed35b17e01a03c2006 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 2000-12-26T21:56:51+00:00 herbelin 2000-12-26T21:56:51+00:00 d57bd605795c9b3a1e569a2de3ed19852421183f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1227 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1227 85f007b7-540e-0410-9357-904b9bb8a0f7
Dernière MAJ 2000-12-26T17:22:35+00:00 herbelin 2000-12-26T17:22:35+00:00 e91bc3e3ac67892a2d08547ece8580194906f0b1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1226 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1226 85f007b7-540e-0410-9357-904b9bb8a0f7
Création... 2000-12-22T09:12:59+00:00 herbelin 2000-12-22T09:12:59+00:00 952ccff82f3f0ce050ada278dceff92fa846c01d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1187 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1187 85f007b7-540e-0410-9357-904b9bb8a0f7
Bugs connus et non résolus 2000-12-18T23:13:50+00:00 herbelin 2000-12-18T23:13:50+00:00 080ce54c2620d7b0478e7e95313d3e9909fb4f11 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1149 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1149 85f007b7-540e-0410-9357-904b9bb8a0f7