| changeset 56613 | 3518ea9f5200 |
| parent 56279 | b4d874f6c6be |
| child 56734 | 6ca87a061740 |
--- a/etc/options Thu Apr 17 11:29:15 2014 +0200 +++ b/etc/options Thu Apr 17 11:31:46 2014 +0200 @@ -139,7 +139,7 @@ public option find_theorems_limit : int = 40 -- "limit of displayed results" -public option find_theorems_tac_limit : int = 5 +public option find_theorems_tactic_limit : int = 5 -- "limit of tactic search for 'solves' criterion"