changeset 54347 | d5589530f3ba |
parent 53519 | 3c977c570e20 |
child 54445 | ae9d8de3fe86 |
--- a/src/Doc/System/Sessions.thy Tue Oct 29 15:34:29 2013 +0100 +++ b/src/Doc/System/Sessions.thy Tue Oct 29 16:52:25 2013 +0100 @@ -249,6 +249,8 @@ \secref{sec:tool-build}. Option @{verbatim "-g"} prints the value of the given option. + Option @{verbatim "-l"} lists all options with their declaration and + current value. Option @{verbatim "-x"} specifies a file to export the result in YXML format, instead of printing it in human-readable form.