--- a/doc-src/System/Thy/document/Basics.tex	Sun Aug 19 17:33:00 2012 +0200
+++ b/doc-src/System/Thy/document/Basics.tex	Sun Aug 19 17:51:41 2012 +0200
@@ -533,10 +533,8 @@
 
   Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
-  Available tools are:
-
-    browser - Isabelle graph browser
-    \dots
+Available tools:
+  \dots
 \end{ttbox}
 
   In principle, Isabelle tools are ordinary executable scripts that