etc/options

--- 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"