# HG changeset patch
# User wenzelm
# Date 935059159 -7200
# Node ID 3635733a9291bede21532cd8b9180aa9dde3a1dc
# Parent  d80b9be8753554781c937cf77f14ffdb1e7078bc
usedir: removed -m option;

diff -r d80b9be87535 -r 3635733a9291 doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Wed Aug 18 20:48:06 1999 +0200
+++ b/doc-src/System/misc.tex	Thu Aug 19 12:39:19 1999 +0200
@@ -223,7 +223,6 @@
     -b           build mode (output heap image, using current dir)
     -i BOOL      generate theory browsing information,
                  i.e. HTML / graph data (default false)
-    -m BOOL      multi line output (default false)
     -r           reset session path
     -s NAME      override session NAME
 
@@ -269,11 +268,6 @@
 Thus user sessions may easily link to existing Isabelle libraries already
 present on the WWW.
 
-\medskip Option \texttt{-m} controls multi-line mode of messages output as
-\texttt{usedir} proceeds.  By default, start and end of operation are printed
-on a single line.  One may specify \texttt{-m true} in case that printing of
-partial lines causes any problems, e.g.\ when doing parallel make.
-
 \medskip Any \texttt{usedir} session is named by some \emph{session
   identifier}. These accumulate, documenting the way sessions depend
 on others. For example, consider \texttt{Pure/FOL/ex}, which refers to