1.1 --- a/src/Tools/auto_solve.ML	Tue Nov 24 16:11:50 2009 +0100
     1.2 +++ b/src/Tools/auto_solve.ML	Tue Nov 24 17:19:33 2009 +0100
     1.3 @@ -27,17 +27,17 @@
     1.4  
     1.5  val _ =
     1.6    ProofGeneralPgip.add_preference Preferences.category_tracing
     1.7 +    (Preferences.nat_pref auto_time_limit
     1.8 +      "auto-solve-time-limit"
     1.9 +      "Time limit for seeking automatic solutions (in milliseconds).");
    1.10 +
    1.11 +val _ =
    1.12 +  ProofGeneralPgip.add_preference Preferences.category_tracing
    1.13    (setmp_CRITICAL auto true (fn () =>
    1.14      Preferences.bool_pref auto
    1.15        "auto-solve"
    1.16        "Try to solve newly declared lemmas with existing theorems.") ());
    1.17  
    1.18 -val _ =
    1.19 -  ProofGeneralPgip.add_preference Preferences.category_tracing
    1.20 -    (Preferences.nat_pref auto_time_limit
    1.21 -      "auto-solve-time-limit"
    1.22 -      "Time limit for seeking automatic solutions (in milliseconds).");
    1.23 -
    1.24  
    1.25  (* hook *)
    1.26