etc/options

--- a/etc/options	Sat Feb 22 18:07:31 2014 +0100
+++ b/etc/options	Sat Feb 22 20:52:43 2014 +0100
@@ -136,3 +136,9 @@
 public option find_theorems_tac_limit : int = 5
   -- "limit of tactic search for 'solves' criterion"
 
+
+section "Completion"
+
+public option completion_limit : int = 40
+  -- "limit for completion within the formal context"
+