diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 12:20:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 12:20:40 +0000 |
| commit | a0f676e9d7896f3390518a2cf9c1efe124e9bbb0 (patch) | |
| tree | d0d8da9814bba501ffcbf15463287b2b66eda30c /README.exper | |
| parent | 4291198366d80dd764f0a833178aed6590421c31 (diff) | |
Doc
Diffstat (limited to 'README.exper')
| -rw-r--r-- | README.exper | 4 |
1 files changed, 3 insertions, 1 deletions
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. + |