--- 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