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