4 files changed, 3 insertions, 9 deletions
diff --git a/isa/README b/isa/README
index 4bd521e2..24f09428 100644
--- a/isa/README
+++ b/isa/README
@@ -5,7 +5,7 @@ Markus Wenzel and David von Oheimb.
 
 Status:		   supported
 Maintainer:	   David Aspinall
-Isabelle version:  99-1, 99-2
+Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ========================================
diff --git a/isar/BUGS b/isar/BUGS
index baddf520..88d9b757 100644
--- a/isar/BUGS
+++ b/isar/BUGS
@@ -4,6 +4,4 @@
 
 See also ../BUGS for generic bugs.
 
-Nothing specific here, check isa/BUGS for some issues that may apply
-to Isar as well.
-
+Nothing specific here.
diff --git a/isar/README b/isar/README
index 89e745bd..a3afa67b 100644
--- a/isar/README
+++ b/isar/README
@@ -4,7 +4,7 @@ Written by Markus Wenzel
 
 Status:		   supported
 Maintainer:	   Markus Wenzel
-Isabelle version:  99-1, 99-2
+Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 Isar homepage:	   http://isabelle.in.tum.de/Isar/
 
diff --git a/isar/todo b/isar/todo
index 0266533d..c508181f 100644
--- a/isar/todo
+++ b/isar/todo
@@ -17,8 +17,4 @@ Isabelle's pretty-printing subsystem);
 ** C tune behaviour of goals/response buffers (e.g. hide empty
 response buffers when using 2 buffer model);
 
-** D Fixup so that typing in shell buffer updates locked buffer status.
-It works in Isabelle/classic, why not here?  (But users shouldn't
-type in shell buffer, anyway).
-
 ** D support proof-next-error?