etc/options
changeset 52065 78f2475aa126
parent 52043 286629271d65
child 52488 cd65ee49a8ba
     1.1 --- a/etc/options	Fri May 17 23:31:02 2013 +0200
     1.2 +++ b/etc/options	Sat May 18 12:41:31 2013 +0200
     1.3 @@ -65,15 +65,15 @@
     1.4  
     1.5  section "Parallel Checking"
     1.6  
     1.7 -option threads : int = 0
     1.8 +public option threads : int = 0
     1.9    -- "maximum number of worker threads for prover process (0 = hardware max.)"
    1.10 -option threads_trace : int = 0
    1.11 +public option threads_trace : int = 0
    1.12    -- "level of tracing information for multithreading"
    1.13 -option parallel_proofs : int = 2
    1.14 +public option parallel_proofs : int = 2
    1.15    -- "level of parallel proof checking: 0, 1, 2"
    1.16 -option parallel_subproofs_saturation : int = 100
    1.17 +public option parallel_subproofs_saturation : int = 100
    1.18    -- "upper bound for forks of nested proofs (multiplied by worker threads)"
    1.19 -option parallel_subproofs_threshold : real = 0.01
    1.20 +public option parallel_subproofs_threshold : real = 0.01
    1.21    -- "lower bound of timing estimate for forked nested proofs (seconds)"
    1.22  
    1.23  
    1.24 @@ -104,26 +104,26 @@
    1.25  
    1.26  section "Editor Reactivity"
    1.27  
    1.28 -option editor_skip_proofs : bool = false
    1.29 +public option editor_skip_proofs : bool = false
    1.30    -- "skip over proofs (implicit 'sorry')"
    1.31  
    1.32 -option editor_load_delay : real = 0.5
    1.33 +public option editor_load_delay : real = 0.5
    1.34    -- "delay for file load operations (new buffers etc.)"
    1.35  
    1.36 -option editor_input_delay : real = 0.3
    1.37 +public option editor_input_delay : real = 0.3
    1.38    -- "delay for user input (text edits, cursor movement etc.)"
    1.39  
    1.40 -option editor_output_delay : real = 0.1
    1.41 +public option editor_output_delay : real = 0.1
    1.42    -- "delay for prover output (markup, common messages etc.)"
    1.43  
    1.44 -option editor_update_delay : real = 0.5
    1.45 +public option editor_update_delay : real = 0.5
    1.46    -- "delay for physical GUI updates"
    1.47  
    1.48 -option editor_reparse_limit : int = 10000
    1.49 +public option editor_reparse_limit : int = 10000
    1.50    -- "maximum amount of reparsed text outside perspective"
    1.51  
    1.52 -option editor_tracing_messages : int = 1000
    1.53 +public option editor_tracing_messages : int = 1000
    1.54    -- "initial number of tracing messages for each command transaction"
    1.55  
    1.56 -option editor_chart_delay : real = 3.0
    1.57 +public option editor_chart_delay : real = 3.0
    1.58    -- "delay for chart repainting"