1.1 --- a/doc-src/System/Thy/Misc.thy	Sat Jul 28 13:29:56 2012 +0200
     1.2 +++ b/doc-src/System/Thy/Misc.thy	Sat Jul 28 14:52:56 2012 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4    specified in @{setting ISABELLE_PATH}, looking for Isabelle logic
     1.5    images. Its usage is:
     1.6  \begin{ttbox}
     1.7 -Usage: findlogics
     1.8 +Usage: isabelle findlogics
     1.9  
    1.10    Collect heap file names from ISABELLE_PATH.
    1.11  \end{ttbox}

     2.1 --- a/doc-src/System/Thy/Presentation.thy	Sat Jul 28 13:29:56 2012 +0200
     2.2 +++ b/doc-src/System/Thy/Presentation.thy	Sat Jul 28 14:52:56 2012 +0200
     2.3 @@ -259,7 +259,6 @@
     2.4    The @{tool_def usedir} utility builds object-logic images, or runs
     2.5    example sessions based on existing logics. Its usage is:
     2.6  \begin{ttbox}
     2.7 -
     2.8  Usage: usedir [OPTIONS] LOGIC NAME
     2.9  
    2.10    Options are:

     3.1 --- a/doc-src/System/Thy/document/Misc.tex	Sat Jul 28 13:29:56 2012 +0200
     3.2 +++ b/doc-src/System/Thy/document/Misc.tex	Sat Jul 28 14:52:56 2012 +0200
     3.3 @@ -101,7 +101,7 @@
     3.4    specified in \hyperlink{setting.ISABELLE-PATH}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}PATH}}}}, looking for Isabelle logic
     3.5    images. Its usage is:
     3.6  \begin{ttbox}
     3.7 -Usage: findlogics
     3.8 +Usage: isabelle findlogics
     3.9  
    3.10    Collect heap file names from ISABELLE_PATH.
    3.11  \end{ttbox}

     4.1 --- a/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 13:29:56 2012 +0200
     4.2 +++ b/doc-src/System/Thy/document/Presentation.tex	Sat Jul 28 14:52:56 2012 +0200
     4.3 @@ -273,7 +273,6 @@
     4.4  The \indexdef{}{tool}{usedir}\hypertarget{tool.usedir}{\hyperlink{tool.usedir}{\mbox{\isa{\isatt{usedir}}}}} utility builds object-logic images, or runs
     4.5    example sessions based on existing logics. Its usage is:
     4.6  \begin{ttbox}
     4.7 -
     4.8  Usage: usedir [OPTIONS] LOGIC NAME
     4.9  
    4.10    Options are: