diff -r 10bc73197a57 -r fc458f304f93 src/Doc/System/Basics.thy --- a/src/Doc/System/Basics.thy Fri May 17 18:50:55 2013 +0200 +++ b/src/Doc/System/Basics.thy Fri May 17 19:04:52 2013 +0200 @@ -379,6 +379,7 @@ -W IN:OUT startup process wrapper, with input/output fifos -e MLTEXT pass MLTEXT to the ML session -m MODE add print mode for output + -o OPTION override Isabelle system OPTION (via NAME=VAL or NAME) -q non-interactive session -r open heap file read-only -w reset write permissions on OUTPUT @@ -438,6 +439,9 @@ option inhibits interaction, thus providing a pure batch mode facility. + \medskip Option @{verbatim "-s"} allows to override Isabelle system + options for this process, see also \secref{sec:system-options}. + \medskip The @{verbatim "-I"} option makes Isabelle enter Isar interaction mode on startup, instead of the primitive ML top-level. The @{verbatim "-P"} option configures the top-level loop for