# 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"