--- a/doc-src/System/Thy/Misc.thy Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/Misc.thy Sat Jul 28 14:52:56 2012 +0200
@@ -74,7 +74,7 @@
specified in @{setting ISABELLE_PATH}, looking for Isabelle logic
images. Its usage is:
\begin{ttbox}
-Usage: findlogics
+Usage: isabelle findlogics
Collect heap file names from ISABELLE_PATH.
\end{ttbox}
--- a/doc-src/System/Thy/Presentation.thy Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/Presentation.thy Sat Jul 28 14:52:56 2012 +0200
@@ -259,7 +259,6 @@
The @{tool_def usedir} utility builds object-logic images, or runs
example sessions based on existing logics. Its usage is:
\begin{ttbox}
-
Usage: usedir [OPTIONS] LOGIC NAME
Options are:
--- a/doc-src/System/Thy/document/Misc.tex Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/document/Misc.tex Sat Jul 28 14:52:56 2012 +0200
@@ -101,7 +101,7 @@
specified in \hyperlink{setting.ISABELLE-PATH}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}PATH}}}}, looking for Isabelle logic
images. Its usage is:
\begin{ttbox}
-Usage: findlogics
+Usage: isabelle findlogics
Collect heap file names from ISABELLE_PATH.
\end{ttbox}
--- a/doc-src/System/Thy/document/Presentation.tex Sat Jul 28 13:29:56 2012 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex Sat Jul 28 14:52:56 2012 +0200
@@ -273,7 +273,6 @@
The \indexdef{}{tool}{usedir}\hypertarget{tool.usedir}{\hyperlink{tool.usedir}{\mbox{\isa{\isatt{usedir}}}}} utility builds object-logic images, or runs
example sessions based on existing logics. Its usage is:
\begin{ttbox}
-
Usage: usedir [OPTIONS] LOGIC NAME
Options are: