From d5fc8d6fe1ee7e5a97012d2e154961f274ef6f89 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 12 Dec 2000 22:17:58 +0000
Subject: mise a jour

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

diff --git a/PROBLEMES b/PROBLEMES
index 5a55d23b99..c6cda0e7fc 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -18,17 +18,6 @@ Associativite Repeat Orelse changee
 	Repeat A Orelse B se lit (Repeat A) Orelse B 
 ce n'est pas malin car Repeat A n'echoue jamais
 
-Probleme de Reset Initial.
-Load Field.
-Reset Initial.
-Coq <  Load Field.
-Error while reading ./Field.v :
-File "./Field.v", line 6, characters 0-83
-Error: list already exists
-(* l'erreur ne se produit pas sur un fichier plus court ..)
-voir dans library states.ml 
-la fonction freeze=set_state qui modifie l'etat initial ....
-
 les parentheses ne sont pas autorises autour de 
 motifs constants :
 > Check [n:nat]Cases n of (O) => true | _ => false end.
@@ -44,8 +33,7 @@ Bordeaux/Additions :
 
 Bordeaux/GROUPS : OK
 
-Bordeaux/EXCEPTIONS :
-        Hints Unfold n'unfold plus les Local => échec d'Auto 
+Bordeaux/EXCEPTIONS : OK
 
 Dyade/Otway-Rees : OK
 Dyade/BDD : Require Rocq/GRAPHS
-- 
cgit v1.2.3