# HG changeset patch
# User wenzelm
# Date 1368817328 -7200
# Node ID 1a52aa84e411a19b61a710a102b4f4ac22995825
# Parent  179236c82c2a588884d38eba251260507a1c51ac
oops;

diff -r 179236c82c2a -r 1a52aa84e411 src/Doc/System/Basics.thy
--- 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