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 --
 isar/README | 4 +---
 2 files changed, 1 insertion(+), 5 deletions(-)

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.
diff --git a/isar/README b/isar/README
index beac6b96..7f63c136 100644
--- a/isar/README
+++ b/isar/README
@@ -3,7 +3,7 @@ Isabelle/Isar Proof General
 Written by Markus Wenzel
 
 Status:		   supported
-Maintainer:	   Markus Wenzel
+Maintainer:	   David Aspinall
 Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2002
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 Isar homepage:	   http://isabelle.in.tum.de/Isar/
@@ -18,8 +18,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
 internally to start Isabelle Proof General via the 'Isabelle' shell
 command.  This is the default way to invoke Proof General from the
-- 
cgit v1.2.3