From d7627bb86a44505b452d0357131c6529e4b34084 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Jul 2002 09:55:59 +0000
Subject: Updated.

---
 etc/isar/Persistent.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/isar/Persistent.thy b/etc/isar/Persistent.thy
index a4ade1f9..f9258ce5 100644
--- a/etc/isar/Persistent.thy
+++ b/etc/isar/Persistent.thy
@@ -20,7 +20,7 @@ Now start PG and start a process with the Foo logic image.
 Tests:
 
   Process this file, exit, start.  
-  Unprocess, exit, start.		[FAILS]
+  Unprocess, exit, start.		[FAILS with Isabelle2002]
 
 *)
 
-- 
cgit v1.2.3