# HG changeset patch
# User wenzelm
# Date 1343479976 -7200
# Node ID 1edc81c7807916537e1046f5014d89c50614e24b
# Parent  72c0bf1f544f4dd952365e78c3c543b028a9ea25
tuned;

diff -r 72c0bf1f544f -r 1edc81c78079 doc-src/System/Thy/Misc.thy
--- 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}
diff -r 72c0bf1f544f -r 1edc81c78079 doc-src/System/Thy/Presentation.thy
--- 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:
diff -r 72c0bf1f544f -r 1edc81c78079 doc-src/System/Thy/document/Misc.tex
--- 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}
diff -r 72c0bf1f544f -r 1edc81c78079 doc-src/System/Thy/document/Presentation.tex
--- 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: