equal
deleted
inserted
replaced
35 |
35 |
36 val auto = Unsynchronized.ref false; |
36 val auto = Unsynchronized.ref false; |
37 val max_solutions = Unsynchronized.ref 5; |
37 val max_solutions = Unsynchronized.ref 5; |
38 |
38 |
39 val _ = |
39 val _ = |
40 ProofGeneral.add_preference Preferences.category_tracing |
40 Unsynchronized.setmp auto true (fn () => |
41 (Unsynchronized.setmp auto true (fn () => |
41 ProofGeneral.preference_bool ProofGeneral.category_tracing |
42 Preferences.bool_pref auto |
42 auto |
43 "auto-solve-direct" |
43 "auto-solve-direct" |
44 ("Run " ^ quote solve_directN ^ " automatically.")) ()); |
44 ("Run " ^ quote solve_directN ^ " automatically")) (); |
45 |
45 |
46 |
46 |
47 (* solve_direct command *) |
47 (* solve_direct command *) |
48 |
48 |
49 fun do_solve_direct mode state = |
49 fun do_solve_direct mode state = |