aboutsummaryrefslogtreecommitdiff
path: root/KNOWN-BUGS
AgeCommit message (Collapse)Author
2009-02-10removed prehistoric filesbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11903 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24Mise a jour KNOWN-BUGSmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1687 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-26MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1227 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-26Dernière MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1226 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-22Création...herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1187 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-18Bugs connus et non résolusherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1149 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:47:19 +0000