src/Pure/Concurrent/future.scala
2015-11-03 wenzelm 2015-11-03 more direct task future implementation, with proper cancel operation; more uniform Future.thread;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-01-14 wenzelm 2015-01-14 added Promise.cancel;
2014-08-12 wenzelm 2014-08-12 tuned;
2014-06-23 wenzelm 2014-06-23 more on "Futures"; removed obsolete comments;
2014-04-25 wenzelm 2014-04-25 just one default thread pool (which is hardwired to Runtime.availableProcessors);
2014-04-23 wenzelm 2014-04-23 tuned;
2014-04-23 wenzelm 2014-04-23 modernized Future/Promise implementation, bypassing old actors;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2010-08-29 wenzelm 2010-08-29 use Future.get_finished where this is the intended meaning -- prefer immediate crash over deadlock due to promises that are never fulfilled; clarified session signalling;
2010-01-05 wenzelm 2010-01-05 added Promise.fulfill_result;
2010-01-04 wenzelm 2010-01-04 added Future.promise -- essentially a single-assignment variable with signalling, using the Future interface;
2010-01-01 wenzelm 2010-01-01 Future values -- Scala version.