changeset 50531 | f841ac0cb757 |
parent 50406 | c28753665b8e |
child 50546 | 1b01a57d2749 |
--- a/src/Doc/System/Sessions.thy Fri Dec 14 16:33:22 2012 +0100 +++ b/src/Doc/System/Sessions.thy Fri Dec 14 16:45:41 2012 +0100 @@ -150,9 +150,10 @@ Options are: -b include $ISABELLE_BUILD_OPTIONS + -l list options -x FILE export to FILE in YXML format - Print Isabelle system options, augmented by MORE_OPTIONS given as + Report Isabelle system options, augmented by MORE_OPTIONS given as arguments NAME=VAL or NAME. \end{ttbox}