From f7967b6c3e03dabe71cf38d51557b4d94253ae75 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 12 Dec 2000 15:58:10 +0000
Subject: Hint Unfold Local + commentaires

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

(limited to 'PROBLEMES')

diff --git a/PROBLEMES b/PROBLEMES
index ff4e7e5825..ab9564ce43 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -1,3 +1,14 @@
+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 
 un lemme local, c'est plutot sain ...
-- 
cgit v1.2.3