--- a/doc-src/System/misc.tex Mon Oct 18 19:43:18 1999 +0200
+++ b/doc-src/System/misc.tex Tue Oct 19 13:45:51 1999 +0200
@@ -34,8 +34,8 @@
Recursively find .ML files, expand shorthand goal commands. Also
contracts uses of resolve_tac, dresolve_tac, eresolve_tac,
- forward_tac, rewrite_goals_tac on 1-element lists; furthermore expands
- tabs, which are forbidden in SML string constants.
+ forward_tac, rewrite_goals_tac on 1-element lists; furthermore
+ expands tabs, which are forbidden in SML string constants.
Renames old versions of files by appending "~~".
\end{ttbox}
@@ -121,7 +121,8 @@
Usage: install [OPTIONS]
Options are:
- -d DISTDIR use DISTDIR as Isabelle distribution (default ISABELLE_HOME)
+ -d DISTDIR use DISTDIR as Isabelle distribution
+ (default ISABELLE_HOME)
-k install KDE application icon on Desktop
-p DIR install standalone binaries in DIR
@@ -208,7 +209,6 @@
The arguments \texttt{ARGS} are just passed verbatim to each
\texttt{make} invocation.
-
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "system"