--- a/src/Doc/System/Sessions.thy Sat Jul 27 16:44:58 2013 +0200
+++ b/src/Doc/System/Sessions.thy Sat Jul 27 16:59:25 2013 +0200
@@ -232,6 +232,7 @@
Options are:
-b include $ISABELLE_BUILD_OPTIONS
+ -g OPTION get value of OPTION
-l list options
-x FILE export to FILE in YXML format
@@ -247,6 +248,8 @@
options by the ones of @{setting ISABELLE_BUILD_OPTIONS}, cf.\
\secref{sec:tool-build}.
+ Option @{verbatim "-g"} prints the value of the given option.
+
Option @{verbatim "-x"} specifies a file to export the result in
YXML format, instead of printing it in human-readable form.
*}