| Tue, 03 Nov 2015 11:24:42 +0100 | wenzelm | cancel already running request; | file | diff | annotate |
| Sat, 19 Sep 2015 20:31:57 +0200 | wenzelm | allow to cancel running event; | file | diff | annotate |
| Thu, 11 Dec 2014 23:31:30 +0100 | wenzelm | added Par_List in Scala, in accordance to ML version; | file | diff | annotate |
| Mon, 05 May 2014 09:24:34 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 28 Apr 2014 14:41:49 +0200 | wenzelm | mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later; | file | diff | annotate |
| Fri, 25 Apr 2014 21:31:39 +0200 | wenzelm | tuned signature -- separate pool for JFuture tasks, which can be canceled; | file | diff | annotate |
| Thu, 24 Apr 2014 22:20:36 +0200 | wenzelm | obsolete; | file | diff | annotate |