From 822bdfccf367136e204131bb9b8900ef8069a054 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 08:30:25 +0000
Subject: Updated

---
 isa/README | 2 --
 1 file changed, 2 deletions(-)

(limited to 'isa/README')

diff --git a/isa/README b/isa/README
index 8207071a..61527cf2 100644
--- a/isa/README
+++ b/isa/README
@@ -19,8 +19,6 @@ There is proper support for X Symbol, using the Isabelle print mode
 for X Symbol tokens.  Many Isabelle theories have X Symbol syntax
 already defined and it's easy to add to your own theories.
 
-There is no support for proof by pointing yet, and no tags program.
-
 The script `interface' and file 'interface-setup.el' are used to start
 Isabelle Proof General via the 'Isabelle' shell command.  These files
 were provided by Markus Wenzel.
-- 
cgit v1.2.3