--- a/bin/isabelle Sun Aug 19 17:33:00 2012 +0200
+++ b/bin/isabelle Sun Aug 19 17:51:41 2012 +0200
@@ -27,7 +27,7 @@
echo
echo " Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
echo
- echo " Available tools are:"
+ echo "Available tools:"
perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
exit 1
}
--- a/doc-src/System/Thy/Basics.thy Sun Aug 19 17:33:00 2012 +0200
+++ b/doc-src/System/Thy/Basics.thy Sun Aug 19 17:51:41 2012 +0200
@@ -517,10 +517,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
--- 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
--- a/lib/scripts/tools.pl Sun Aug 19 17:33:00 2012 +0200
+++ b/lib/scripts/tools.pl Sun Aug 19 17:51:41 2012 +0200
@@ -24,7 +24,7 @@
}
close FILE;
if (defined($description)) {
- push(@tools, " $name - $description\n");
+ push(@tools, " $name - $description\n");
}
}
}