isabelle: Changelog

wenzelm [Tue, 28 Jul 2009 14:54:53 +0200] rev 32251

group status: Synchronized.var;

wenzelm [Tue, 28 Jul 2009 14:43:46 +0200] rev 32250

tuned;

wenzelm [Tue, 28 Jul 2009 14:35:27 +0200] rev 32249

Task_Queue.dequeue: explicit thread;

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

isabelle