etc/options
changeset 70801 5352449209b1
parent 70800 44eeca528557
child 70914 05c4c6a99b3f
equal deleted inserted replaced
70800:44eeca528557 70801:5352449209b1
   220   -- "watchdog timeout for PIDE processing of broken theories (seconds, 0 = disabled)"
   220   -- "watchdog timeout for PIDE processing of broken theories (seconds, 0 = disabled)"
   221 
   221 
   222 option headless_commit_cleanup_delay : real = 60
   222 option headless_commit_cleanup_delay : real = 60
   223   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
   223   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
   224 
   224 
   225 option headless_load_limit : int = 5
   225 option headless_load_limit : real = 5.0
   226   -- "limit in MB for loaded theory files (0 = unlimited)"
   226   -- "limit in MB for loaded theory files (0 = unlimited)"
   227 
   227 
   228 
   228 
   229 section "Miscellaneous Tools"
   229 section "Miscellaneous Tools"
   230 
   230