changeset 52056 | fc458f304f93 |
parent 51417 | d266f9329368 |
child 52735 | 842b5e7dcac8 |
--- 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