Sat, 07 Mar 2009 16:47:36 +0100 Added a second timeout mechanism to Refute.
blanchet [Sat, 07 Mar 2009 16:47:36 +0100] rev 30349
Added a second timeout mechanism to Refute. For some reason, TimeLimit.timeLimit often does not work, and it leaves Refute running forever, making any evaluation using Mutabelle or Mirabelle impossible. The redundant timeout seems to do the trick.
Sat, 07 Mar 2009 12:27:26 +0100 merged
blanchet [Sat, 07 Mar 2009 12:27:26 +0100] rev 30348
merged
Sat, 07 Mar 2009 12:26:56 +0100 Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
blanchet [Sat, 07 Mar 2009 12:26:56 +0100] rev 30347
Refute: Distinguish between "genuine" and "potential" in the newly added "expect" option.
Sat, 07 Mar 2009 23:30:58 +0100 minimal adaptions for abstract binding type;
wenzelm [Sat, 07 Mar 2009 23:30:58 +0100] rev 30346
minimal adaptions for abstract binding type;
Sat, 07 Mar 2009 22:17:25 +0100 more uniform handling of binding in packages;
wenzelm [Sat, 07 Mar 2009 22:17:25 +0100] rev 30345
more uniform handling of binding in packages;
Sat, 07 Mar 2009 22:16:50 +0100 more uniform handling of binding in targets and derived elements;
wenzelm [Sat, 07 Mar 2009 22:16:50 +0100] rev 30344
more uniform handling of binding in targets and derived elements;
Sat, 07 Mar 2009 22:12:07 +0100 replace old bstring by binding for logical primitives: class, type, const etc.;
wenzelm [Sat, 07 Mar 2009 22:12:07 +0100] rev 30343
replace old bstring by binding for logical primitives: class, type, const etc.;
Sat, 07 Mar 2009 22:04:59 +0100 moved Thm.def_name(_optional) to more_thm.ML;
wenzelm [Sat, 07 Mar 2009 22:04:59 +0100] rev 30342
moved Thm.def_name(_optional) to more_thm.ML; moved old-style Thm.get_def to Drule.get_def;
Sat, 07 Mar 2009 21:57:36 +0100 adapted Syntax.const_name;
wenzelm [Sat, 07 Mar 2009 21:57:36 +0100] rev 30341
adapted Syntax.const_name;
Sat, 07 Mar 2009 21:20:17 +0100 canonical argument order for type_name, const_name;
wenzelm [Sat, 07 Mar 2009 21:20:17 +0100] rev 30340
canonical argument order for type_name, const_name;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip