changeset 52645 | e8c1c5612677 |
parent 52643 | 34c29356930e |
child 52701 | 51dfdcd88e84 |
--- a/src/Tools/solve_direct.ML Sat Jul 13 13:58:13 2013 +0200 +++ b/src/Tools/solve_direct.ML Sat Jul 13 14:11:48 2013 +0200 @@ -35,7 +35,7 @@ val _ = ProofGeneral.preference_option ProofGeneral.category_tracing - (SOME "true") + NONE @{option auto_solve_direct} "auto-solve-direct" ("Run " ^ quote solve_directN ^ " automatically");