etc/options
changeset 66780 bf54ca580bf2
parent 66382 6392766f3c25
child 67137 f2384ad1dff4
equal deleted inserted replaced
66779:8645d56f96e1 66780:bf54ca580bf2
   111   -- "checkpoint for theories during build process (heap compression)"
   111   -- "checkpoint for theories during build process (heap compression)"
   112 
   112 
   113 option profiling : string = ""
   113 option profiling : string = ""
   114   -- "ML profiling (possible values: time, allocations)"
   114   -- "ML profiling (possible values: time, allocations)"
   115 
   115 
   116 option theory_qualifier : string = ""
       
   117   -- "explicit theory qualifier for special sessions (default: session name)"
       
   118 
       
   119 
   116 
   120 section "ML System"
   117 section "ML System"
   121 
   118 
   122 option ML_print_depth : int = 20
   119 option ML_print_depth : int = 20
   123   -- "ML print depth for toplevel pretty-printing"
   120   -- "ML print depth for toplevel pretty-printing"