isabelle: Changelog

wenzelm [Thu, 02 Aug 2007 12:06:27 +0200] rev 24124

turned simp_depth_limit into configuration option;

wenzelm [Wed, 01 Aug 2007 21:10:36 +0200] rev 24123

tuned ML bindings (for multithreading); updated timings;

wenzelm [Wed, 01 Aug 2007 20:25:16 +0200] rev 24122

tuned ML bindings (for multithreading);

huffman [Wed, 01 Aug 2007 19:59:12 +0200] rev 24121

fix looping when applied to standard subgoals

wenzelm [Wed, 01 Aug 2007 18:05:43 +0200] rev 24120

updated;

wenzelm [Wed, 01 Aug 2007 17:03:28 +0200] rev 24119

tracing: level;

wenzelm [Wed, 01 Aug 2007 16:59:15 +0200] rev 24118

multithreading trace: int;

wenzelm [Wed, 01 Aug 2007 16:55:45 +0200] rev 24117

added toplevel print command;

wenzelm [Wed, 01 Aug 2007 16:55:44 +0200] rev 24116

tuned;

wenzelm [Wed, 01 Aug 2007 16:55:43 +0200] rev 24115

renamed 'print_options' to 'print_configs';

isabelle