src/Pure/Concurrent/future.ML
2008-09-09 ago cancel: check_scheduler;
2008-09-09 ago inherit group from running thread, or create a new one -- make it harder to re-use canceled groups;
2008-09-08 ago tuned Mailbox.send;
2008-09-08 ago more interrupt operations;
2008-09-08 ago moved task, thread_data, group, queue to task_queue.ML;
2008-09-08 ago await: SYNCHRONIZED wait!
2008-09-08 ago tuned check_cache;
2008-09-07 ago Functional threads as future values.