mise a jour

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1091 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 13 deletions

diff --git a/PROBLEMES b/PROBLEMES
index 5a55d23b9..c6cda0e7f 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