| Tue, 03 Nov 2015 17:41:13 +0100 | wenzelm | prefer Isabelle/Scala Future; | file | diff | annotate |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 11 Dec 2014 23:42:03 +0100 | wenzelm | tuned; | 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 |