From faa2647739aa33421328af4ffeaba1bb474e868e Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 12 Dec 2000 16:01:01 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1089 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 PROBLEMES | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/PROBLEMES b/PROBLEMES
index ab9564ce43..fca3fc36a4 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -1,13 +1,3 @@
-coqtop -byte
-Anomaly: Uncaught exception Unix.Unix_error(20, "execv", "./coqtop.byte").
-Please report.
-portable-demons ~/coq/V7 > which \coqtop
-/home/cpaulin/coq/V7/bin//coqtop
-portable-demons ~/coq/V7 > \coqtop -byte
-Anomaly: Uncaught exception Unix.Unix_error(20, "execv", "./coqtop.byte").
-Please report.
-portable-demons ~/coq/V7 > which coqtop.byte
-/home/cpaulin/coq/V7/bin//coqtop.byte
 
 Declaration de Local a l'interieur d'un but ...
 Certains Clear deviennent impossible car la variable apparait dans 
-- 
cgit v1.2.3