Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 18 Sep 2006 19:12:44 +0200
changeset 20572 2b88de40da57
parent 20571 cbcca0d536bf
child 20573 c945a208e7f8
tuned;
doc-src/System/misc.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/System/misc.tex	Mon Sep 18 19:12:43 2006 +0200
+++ b/doc-src/System/misc.tex	Mon Sep 18 19:12:44 2006 +0200
@@ -40,8 +40,8 @@
   Display document FILE (in DVI format).
 \end{ttbox}
 
-The \texttt{-c} option causes the input file to be removed after use.  The
-program for viewing \texttt{dvi} files is determined by the
+\medskip The \texttt{-c} option causes the input file to be removed after use.
+The program for viewing \texttt{dvi} files is determined by the
 \texttt{DVI_VIEWER} setting.
isabelle