diff options
| -rw-r--r-- | demoisa/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoisa/README b/demoisa/README index d478bcaf..74b4d8d7 100644 --- a/demoisa/README +++ b/demoisa/README @@ -2,7 +2,7 @@ Example Proof General instance for Isabelle Written by David Aspinall. -Status: supported as a demonstration only +Status: demonstration, only works for obsolete Isabelle versions ======================================== |