isabelle: File revisions

src/Pure/Concurrent/future.scala

Fri, 25 Apr 2014 22:10:03 +0200	wenzelm	just one default thread pool (which is hardwired to Runtime.availableProcessors);	file \| diff \| annotate
Wed, 23 Apr 2014 15:57:06 +0200	wenzelm	tuned;	file \| diff \| annotate
Wed, 23 Apr 2014 15:22:48 +0200	wenzelm	modernized Future/Promise implementation, bypassing old actors;	file \| diff \| annotate
Tue, 22 Apr 2014 23:57:17 +0200	wenzelm	avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;	file \| diff \| annotate
Tue, 29 Nov 2011 21:29:53 +0100	wenzelm	separate compilation of PIDE vs. Pure sources, which enables independent Scala library;	file \| diff \| annotate
Mon, 28 Nov 2011 22:18:19 +0100	wenzelm	explicit indication of modules for independent Scala library;	file \| diff \| annotate
Sun, 29 Aug 2010 19:04:29 +0200	wenzelm	use Future.get_finished where this is the intended meaning -- prefer immediate crash over deadlock due to promises that are never fulfilled;	file \| diff \| annotate
Tue, 05 Jan 2010 13:45:17 +0100	wenzelm	added Promise.fulfill_result;	file \| diff \| annotate

isabelle