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';
wenzelm [Wed, 01 Aug 2007 16:55:42 +0200] rev 24114
renamed config_option.ML to config.ML;
moved attrib setup to attrib.ML;
wenzelm [Wed, 01 Aug 2007 16:55:41 +0200] rev 24113
renamed config_option.ML to config.ML;
wenzelm [Wed, 01 Aug 2007 16:55:40 +0200] rev 24112
simplified internal Config interface;