etc/options
changeset 52042 aae07a3ff536
parent 51962 016cb7d8f297
child 52043 286629271d65
     1.1 --- a/etc/options	Thu May 16 20:50:01 2013 +0200
     1.2 +++ b/etc/options	Thu May 16 21:09:58 2013 +0200
     1.3 @@ -40,7 +40,8 @@
     1.4    -- "indentation for pretty printing of display material"
     1.5  option thy_output_source : bool = false
     1.6    -- "print original source text rather than internal representation"
     1.7 -
     1.8 +option thy_output_modes : string = ""
     1.9 +  -- "additional print modes for document output (separated by commas)"
    1.10  
    1.11  option print_mode : string = ""
    1.12    -- "additional print modes for prover output (separated by commas)"