isabelle: Changelog

wenzelm [Sat, 25 Jul 2009 10:31:27 +0200] rev 32187

renamed structure Display_Goal to Goal_Display;

wenzelm [Sat, 25 Jul 2009 00:53:47 +0200] rev 32186

tuned tracing;

wenzelm [Sat, 25 Jul 2009 00:39:05 +0200] rev 32185

added Multithreading.real_time;

wenzelm [Sat, 25 Jul 2009 00:13:39 +0200] rev 32184

simplified/unified Multithreading.tracing_time; tuned;

wenzelm [Fri, 24 Jul 2009 23:36:37 +0200] rev 32183

get_name: cover only PThm, not PAxm;

wenzelm [Fri, 24 Jul 2009 22:59:28 +0200] rev 32182

eliminated OldGoals.read_term;

wenzelm [Fri, 24 Jul 2009 22:59:08 +0200] rev 32181

more antiquotations instead of adhoc ML stuff;

wenzelm [Fri, 24 Jul 2009 22:31:27 +0200] rev 32180

ML_Context.the_local_context;

wenzelm [Fri, 24 Jul 2009 22:17:32 +0200] rev 32179

eliminated the_context;

wenzelm [Fri, 24 Jul 2009 22:09:09 +0200] rev 32178

do not open OldGoals;

isabelle