From 8fab6d33a9ea47ceec530c0bf4b8ca675272ffae Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 12:40:47 +0000
Subject: Tune

---
 isar/README | 2 --
 1 file changed, 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$
-- 
cgit v1.2.3