diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 12:40:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 12:40:47 +0000 |
| commit | 8fab6d33a9ea47ceec530c0bf4b8ca675272ffae (patch) | |
| tree | 2a611dd5ddd4f7409186a424d7e5c6c31ea2436c /isar/README | |
| parent | a0fe094b925e5a38c48137e3b35b88f191460cdd (diff) | |
Tune
Diffstat (limited to 'isar/README')
| -rw-r--r-- | isar/README | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/isar/README b/isar/README index e4415d03..b2d5ee6f 100644 --- a/isar/README +++ b/isar/README @@ -28,8 +28,6 @@ Isabelle perspective; it enables Isabelle to provide a consistent process and file-system environment, including the all-important isar-keywords.el file. -Check the value of isabelle-prog-name. - ======================================== $Id$ |