diff options
-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$ |