etc/options
changeset 52702 c503730efae5
parent 52490 cfab88cd7ba7
child 52710 52790e3961fe
equal deleted inserted replaced
52701:51dfdcd88e84 52702:c503730efae5
   123 public option editor_tracing_messages : int = 1000
   123 public option editor_tracing_messages : int = 1000
   124   -- "initial number of tracing messages for each command transaction"
   124   -- "initial number of tracing messages for each command transaction"
   125 
   125 
   126 public option editor_chart_delay : real = 3.0
   126 public option editor_chart_delay : real = 3.0
   127   -- "delay for chart repainting"
   127   -- "delay for chart repainting"
       
   128 
       
   129 
       
   130 section "Miscellaneous Tools"
       
   131 
       
   132 public option find_theorems_limit : int = 40
       
   133   -- "limit of displayed results"
       
   134 
       
   135 public option find_theorems_tac_limit : int = 5
       
   136   -- "limit of tactic search for 'solves' criterion"
       
   137