oops;

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