diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:02:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:02:39 +0000 |
| commit | 4a85e32123565e8e5342dfdd741aae473f16660e (patch) | |
| tree | 8d3cbc4d9c749dbc2f3db633abc9bc32610e3904 /demoisa | |
| parent | 84ebc40061e1ce380210691618b70773cc1ff713 (diff) | |
Updated
Diffstat (limited to 'demoisa')
| -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 ======================================== |