# HG changeset patch # User wenzelm # Date 1623063857 -7200 # Node ID 263dc905d795376f734363e810d811a83038cb99 # Parent 72900f34dbb3e66f5c2fab244de4fd621c1fb2b5 updated descriptions; diff -r 72900f34dbb3 -r 263dc905d795 etc/options --- a/etc/options Mon Jun 07 11:42:05 2021 +0200 +++ b/etc/options Mon Jun 07 13:04:17 2021 +0200 @@ -6,7 +6,7 @@ -- "generate theory browser information" option document : string = "" - -- "build document in given format: pdf, dvi, false" + -- "build PDF document (enabled for \"pdf\" or \"true\", disabled for \"\" or \"false\")" option document_output : string = "" -- "document output directory" option document_variants : string = "document" @@ -132,7 +132,7 @@ -- "ML profiling (possible values: time, allocations)" option system_log : string = "" - -- "output for system messages (log file or \"-\" for console progress)" + -- "output for system messages (log file or \"true\" for console progress)" option system_heaps : bool = false -- "store session heaps in $ISABELLE_HEAPS_SYSTEM, not $ISABELLE_HEAPS"