Updated

1 files changed, 0 insertions, 2 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.