From a0f676e9d7896f3390518a2cf9c1efe124e9bbb0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 12:20:40 +0000
Subject: Doc

---
 README.exper | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.exper b/README.exper
index 85264522..494ae0d8 100644
--- a/README.exper
+++ b/README.exper
@@ -30,7 +30,9 @@ Current "experimental" features
 
    Only works for Isabelle/classic at the moment (support is
    required from proof assistant authors: please mention to them).  
-   You must also select the Isabelle option "Theorem Dependencies".
+   You must select the Isabelle option "Theorem Dependencies",
+   and then restart Isabelle.
+
 
 
 
-- 
cgit v1.2.3