changeset 32966 | 5b21661fe618 |
parent 32860 | a4ab5d0cccd1 |
child 33290 | 6dcb0a970783 |
--- a/src/Tools/auto_solve.ML Sat Oct 17 15:55:57 2009 +0200 +++ b/src/Tools/auto_solve.ML Sat Oct 17 15:57:51 2009 +0200 @@ -27,7 +27,7 @@ val _ = ProofGeneralPgip.add_preference Preferences.category_tracing - (setmp auto true (fn () => + (setmp_CRITICAL auto true (fn () => Preferences.bool_pref auto "auto-solve" "Try to solve newly declared lemmas with existing theorems.") ());