etc/options

   -- "ISABELLE_IDENTIFIER for remote build cluster sessions"
 
 option build_schedule : string = ""
   -- "path to pre-computed schedule"
 
+option build_schedule_initial : string = ""
+  -- "path to initial pre-computed schedule (may be overwritten during build)"
+
 option build_schedule_outdated_delay : real = 300.0
   -- "delay schedule generation loop"
 
 
 section "Editor Session"