diff options
Diffstat (limited to 'demoisa/README')
-rw-r--r-- | demoisa/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demoisa/README b/demoisa/README index 73770903..d478bcaf 100644 --- a/demoisa/README +++ b/demoisa/README @@ -2,8 +2,6 @@ Example Proof General instance for Isabelle Written by David Aspinall. -$Id$ - Status: supported as a demonstration only ======================================== @@ -51,5 +49,7 @@ See demoisa.el and demoisa-easy.el for more details. +======================================== +$Id$ |