etc/options
changeset 49295 2750756db9c5
parent 49290 64bed36cd8da
child 49524 68796a77c42b
     1.1 --- a/etc/options	Tue Sep 11 22:54:12 2012 +0200
     1.2 +++ b/etc/options	Tue Sep 11 22:59:25 2012 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (* :mode=isabelle-options: *)
     1.5  
     1.6 -section {* Document preparation *}
     1.7 +section "Document Preparation"
     1.8  
     1.9  option browser_info : bool = false
    1.10    -- "generate theory browser information"
    1.11 @@ -47,7 +47,7 @@
    1.12    -- "additional print modes for prover output (separated by commas)"
    1.13  
    1.14  
    1.15 -section {* Parallel checking *}
    1.16 +section "Parallel Checking"
    1.17  
    1.18  option threads : int = 0
    1.19    -- "maximum number of worker threads for prover process (0 = hardware max.)"
    1.20 @@ -59,7 +59,7 @@
    1.21    -- "threshold for sub-proof parallelization"
    1.22  
    1.23  
    1.24 -section {* Detail of proof recording *}
    1.25 +section "Detail of Proof Recording"
    1.26  
    1.27  option proofs : int = 1
    1.28    -- "level of detail for proof objects: 0, 1, 2"
    1.29 @@ -69,7 +69,7 @@
    1.30    -- "skip over proofs"
    1.31  
    1.32  
    1.33 -section {* Global session parameters *}
    1.34 +section "Global Session Parameters"
    1.35  
    1.36  option condition : string = ""
    1.37    -- "required environment variables for subsequent theories (separated by commas)"
    1.38 @@ -81,7 +81,7 @@
    1.39    -- "timeout for session build job (seconds > 0)"
    1.40  
    1.41  
    1.42 -section {* Editor reactivity *}
    1.43 +section "Editor Reactivity"
    1.44  
    1.45  option editor_load_delay : real = 0.5
    1.46    -- "delay for file load operations (new buffers etc.)"