diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:18:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:18:14 +0000 |
| commit | 2e0157f0511e3af7ea0fe114bea1bf62af3439ba (patch) | |
| tree | 48fc8f82a9d74c59c3a3122e493fee3de950309a /demoisa | |
| parent | b7209db785ccd5e68ecc144f628cf7593a215ede (diff) | |
Rearrange
Diffstat (limited to 'demoisa')
| -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$ |