diff -r aeca05e62fef -r 5e25cc741ab9 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"
+