# HG changeset patch
# User wenzelm
# Date 1223135470 -7200
# Node ID 325592dad1341fc97ec22576d004efc68cf68a47
# Parent  3ab515ee4e6f5dfa22c7bff5e8ea0517d25bb7b5
updated generated file;

diff -r 3ab515ee4e6f -r 325592dad134 doc-src/System/Thy/document/Basics.tex
--- a/doc-src/System/Thy/document/Basics.tex	Sat Oct 04 17:50:57 2008 +0200
+++ b/doc-src/System/Thy/document/Basics.tex	Sat Oct 04 17:51:10 2008 +0200
@@ -447,8 +447,7 @@
 \begin{ttbox}
 Usage: isabelle TOOL [ARGS ...]
 
-  Start Isabelle utility program TOOL with ARGS. Pass "-?" to TOOL
-  for more specific help.
+  Start Isabelle tool NAME with ARGS; pass "-?" for tool specific help.
 
   Available tools are: