isabelle: Changelog

wenzelm [Tue, 28 Jul 2009 14:29:25 +0200] rev 32248

more precise treatment of scheduler_event: continous pulse (50ms) instead of flooding, which was burning many CPU cycles in spare threads;

wenzelm [Tue, 28 Jul 2009 14:11:15 +0200] rev 32247

interruptible_task: unified treatment of Multithreading.with_attributes (cf. 9f6461b1c9cc);

wenzelm [Tue, 28 Jul 2009 14:04:33 +0200] rev 32246

misc tuning;

krauss [Tue, 28 Jul 2009 08:49:03 +0200] rev 32245

tuned

krauss [Tue, 28 Jul 2009 08:48:56 +0200] rev 32244

moved obsolete same_fst to Recdef.thy

krauss [Tue, 28 Jul 2009 08:48:48 +0200] rev 32243

adapted doc to type of "op O"

wenzelm [Tue, 28 Jul 2009 00:31:48 +0200] rev 32242

merged

wenzelm [Mon, 27 Jul 2009 23:43:35 +0200] rev 32241

merged

wenzelm [Mon, 27 Jul 2009 23:02:11 +0200] rev 32240

merged

wenzelm [Mon, 27 Jul 2009 22:25:29 +0200] rev 32239

merged

isabelle