
diff -r 10bc73197a57 -r fc458f304f93 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Fri May 17 18:50:55 2013 +0200
+++ b/src/Doc/System/Sessions.thy	Fri May 17 19:04:52 2013 +0200
@@ -275,8 +275,7 @@
     -j INT       maximum number of parallel jobs (default 1)
     -l           list session source files
     -n           no build -- test dependencies only
-    -o OPTION    override session configuration OPTION
-                 (via NAME=VAL or NAME)
+    -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -s           system build mode: produce output in ISABELLE_HOME
     -v           verbose
 




