src/Pure/Concurrent/simple_thread.ML
2010-09-09 ago more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally;
2010-05-31 ago modernized some structure names, keeping a few legacy aliases;
2009-11-11 ago admit dummy implementation;
2009-11-10 ago exported SimpleThread.attributes;
2009-10-27 ago SimpleThread.fork: uniform handling of outermost Interrupt, which is not an error and should not produce exception trace;
2009-08-01 ago renamed Multithreading.regular_interrupts to Multithreading.public_interrupts;
2009-07-25 ago tuned tracing;
2009-07-25 ago added Multithreading.real_time;
2009-07-25 ago simplified/unified Multithreading.tracing_time;
2009-07-18 ago synchronized: tuned tracing;
2009-01-19 ago removed Ids;
2008-10-13 ago added generic combinator for synchronized evaluation (formerly in future.ML);
2008-10-09 ago added fail-safe interrupt;
2008-09-16 ago Simplified thread fork interface.