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