# HG changeset patch
# User wenzelm
# Date 1690018903 -7200
# Node ID 1ab113f4db740d45384a310c8ff5b6abd7b919bb
# Parent  0461fc9d43e81cfb345888be3cf5bad88d25b308
clarified option (see also b66b6cc1eb8c);

diff -r 0461fc9d43e8 -r 1ab113f4db74 etc/options
--- a/etc/options	Fri Jul 21 18:44:29 2023 +0200
+++ b/etc/options	Sat Jul 22 11:41:43 2023 +0200
@@ -135,6 +135,9 @@
 
 section "Global Session Parameters"
 
+option context : string = "" for content
+  -- "free-form information for session content (to be interpreted in Isabelle/ML)"
+
 option condition : string = "" for content
   -- "required environment variables for subsequent theories (separated by commas)"
 
@@ -183,9 +186,6 @@
 
 section "Build Process"
 
-option build_context : string = ""
-  -- "free-form information for session build (to be interpreted in Isabelle/ML)"
-
 option build_thorough : bool = false
   -- "observe dependencies on options with tag 'content' or 'document'"