
diff -r 52fb3667f7df -r 01e6e05d208b doc-src/System/misc.tex
--- 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"




