isabelle: Changelog

wenzelm [Wed, 10 Aug 2011 16:24:39 +0200] rev 44114

Goal.forked: clarified handling of interrupts;

wenzelm [Wed, 10 Aug 2011 16:05:14 +0200] rev 44113

future_job: explicit indication of interrupts;

wenzelm [Wed, 10 Aug 2011 15:17:24 +0200] rev 44112

more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;

wenzelm [Wed, 10 Aug 2011 14:28:55 +0200] rev 44111

synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries;

wenzelm [Wed, 10 Aug 2011 14:04:45 +0200] rev 44110

tuned source structure;

wenzelm [Wed, 10 Aug 2011 10:59:37 +0200] rev 44109

bash_output_fifo blocks on Cygwin 1.7.x;

berghofe [Tue, 09 Aug 2011 23:54:17 +0200] rev 44108

rename_bvs now avoids introducing name clashes between schematic variables

wenzelm [Tue, 09 Aug 2011 22:37:33 +0200] rev 44107

merged

haftmann [Tue, 09 Aug 2011 20:24:48 +0200] rev 44106

tuned proofs

haftmann [Tue, 09 Aug 2011 18:52:18 +0200] rev 44105

merged

isabelle