src/Doc/System/Sessions.thy

--- 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.