--- a/etc/options Fri Apr 03 13:51:56 2020 +0200
+++ b/etc/options Fri Apr 03 17:35:10 2020 +0200
@@ -123,9 +123,6 @@
option system_heaps : bool = false
-- "store session heaps in $ISABELLE_HEAPS_SYSTEM, not $ISABELLE_HEAPS"
-option pide_build : bool = false
- -- "build session heaps via PIDE"
-
section "ML System"
@@ -151,6 +148,15 @@
-- "ML process command prefix (process policy)"
+section "PIDE Build"
+
+option pide_build : bool = false
+ -- "build session heaps via PIDE"
+
+option pide_reports : bool = true
+ -- "report PIDE markup"
+
+
section "Editor Session"
public option editor_load_delay : real = 0.5