etc/options

   -- "ML process command prefix (process policy)"
 
 
 section "PIDE Build"
 
-option pide_build : bool = false
+option pide_session : bool = false
   -- "build session heaps via PIDE"
 
 option pide_reports : bool = true
   -- "report PIDE markup"