more precise sections;
authorwenzelm
Tue Sep 11 22:59:25 2012 +0200 (2012-09-11)
changeset 492952750756db9c5
parent 49294 a600c017f814
child 49296 313369027391
more precise sections;
etc/options
src/Pure/System/options.scala
src/Tools/jEdit/etc/options
     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.)"
     2.1 --- a/src/Pure/System/options.scala	Tue Sep 11 22:54:12 2012 +0200
     2.2 +++ b/src/Pure/System/options.scala	Tue Sep 11 22:59:25 2012 +0200
     2.3 @@ -85,7 +85,7 @@
     2.4      val option_entry: Parser[Options => Options] =
     2.5      {
     2.6        command(SECTION) ~! text ^^
     2.7 -        { case _ ~ a => (options: Options) => options.set_section(a.trim) } |
     2.8 +        { case _ ~ a => (options: Options) => options.set_section(a) } |
     2.9        command(OPTION) ~! (option_name ~ keyword(":") ~ option_type ~
    2.10        keyword("=") ~ option_value ~ (keyword("--") ~! text ^^ { case _ ~ x => x } | success(""))) ^^
    2.11          { case _ ~ (a ~ _ ~ b ~ _ ~ c ~ d) => (options: Options) => options.declare(a, b, c, d) }
     3.1 --- a/src/Tools/jEdit/etc/options	Tue Sep 11 22:54:12 2012 +0200
     3.2 +++ b/src/Tools/jEdit/etc/options	Tue Sep 11 22:59:25 2012 +0200
     3.3 @@ -19,7 +19,7 @@
     3.4    -- "global delay for Swing tooltips"
     3.5  
     3.6  
     3.7 -section {* Editor document view *}
     3.8 +section "Editor Document View"
     3.9  
    3.10  option color_outdated : string = "EEE3E3FF"
    3.11  option color_unprocessed : string = "FFA0A0FF"