| Mon, 22 Dec 2014 20:40:37 +0100 | wenzelm | discontinued central critical sections: NAMED_CRITICAL / CRITICAL; | 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 |
| Wed, 26 Nov 2014 11:43:51 +0100 | wenzelm | load simple_thread.ML later, such that it benefits from redefined print_exception_trace; | file | diff | annotate |
| Thu, 12 Dec 2013 13:50:44 +0100 | wenzelm | simplified polyml-5.5.2 setup -- implicit upgrade of Thread.numProcessors; | file | diff | annotate |
| Wed, 11 Dec 2013 18:02:22 +0100 | wenzelm | support for polml-5.5.2; | file | diff | annotate |
| Wed, 16 Jan 2013 11:31:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 18 Nov 2012 15:38:37 +0100 | wenzelm | adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware; | file | diff | annotate |