| 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 |