oops;
authorwenzelm
Fri May 17 21:02:08 2013 +0200 (2013-05-17)
changeset 520611a52aa84e411
parent 52060 179236c82c2a
child 52062 4f91262e7f33
oops;
src/Doc/System/Basics.thy
     1.1 --- a/src/Doc/System/Basics.thy	Fri May 17 20:53:28 2013 +0200
     1.2 +++ b/src/Doc/System/Basics.thy	Fri May 17 21:02:08 2013 +0200
     1.3 @@ -439,7 +439,7 @@
     1.4    option inhibits interaction, thus providing a pure batch mode
     1.5    facility.
     1.6  
     1.7 -  \medskip Option @{verbatim "-s"} allows to override Isabelle system
     1.8 +  \medskip Option @{verbatim "-o"} allows to override Isabelle system
     1.9    options for this process, see also \secref{sec:system-options}.
    1.10  
    1.11    \medskip The @{verbatim "-I"} option makes Isabelle enter Isar