src/Doc/System/Basics.thy
changeset 52056 fc458f304f93
parent 52054 eaf17514aabd
child 52061 1a52aa84e411
     1.1 --- a/src/Doc/System/Basics.thy	Fri May 17 18:50:55 2013 +0200
     1.2 +++ b/src/Doc/System/Basics.thy	Fri May 17 19:04:52 2013 +0200
     1.3 @@ -379,6 +379,7 @@
     1.4      -W IN:OUT    startup process wrapper, with input/output fifos
     1.5      -e MLTEXT    pass MLTEXT to the ML session
     1.6      -m MODE      add print mode for output
     1.7 +    -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     1.8      -q           non-interactive session
     1.9      -r           open heap file read-only
    1.10      -w           reset write permissions on OUTPUT
    1.11 @@ -438,6 +439,9 @@
    1.12    option inhibits interaction, thus providing a pure batch mode
    1.13    facility.
    1.14  
    1.15 +  \medskip Option @{verbatim "-s"} allows to override Isabelle system
    1.16 +  options for this process, see also \secref{sec:system-options}.
    1.17 +
    1.18    \medskip The @{verbatim "-I"} option makes Isabelle enter Isar
    1.19    interaction mode on startup, instead of the primitive ML top-level.
    1.20    The @{verbatim "-P"} option configures the top-level loop for