etc/options
changeset 51960 61ac1efe02c3
parent 51564 bfdc3f720bd6
child 51962 016cb7d8f297
     1.1 --- a/etc/options	Mon May 13 13:01:10 2013 +0200
     1.2 +++ b/etc/options	Mon May 13 13:23:13 2013 +0200
     1.3 @@ -14,6 +14,9 @@
     1.4  option document_graph : bool = false
     1.5    -- "generate session graph image for document"
     1.6  
     1.7 +option goals_limit : int = 10
     1.8 +  -- "maximum number of subgoals to be printed"
     1.9 +
    1.10  option show_question_marks : bool = true
    1.11    -- "show leading question mark of schematic variables"
    1.12