changeset 52061 | 1a52aa84e411 |
parent 52056 | fc458f304f93 |
child 52550 | 09e52d4a850a |
--- a/src/Doc/System/Basics.thy Fri May 17 20:53:28 2013 +0200 +++ b/src/Doc/System/Basics.thy Fri May 17 21:02:08 2013 +0200 @@ -439,7 +439,7 @@ option inhibits interaction, thus providing a pure batch mode facility. - \medskip Option @{verbatim "-s"} allows to override Isabelle system + \medskip Option @{verbatim "-o"} allows to override Isabelle system options for this process, see also \secref{sec:system-options}. \medskip The @{verbatim "-I"} option makes Isabelle enter Isar