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