diff options
| -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. + |