Mon, 13 Jul 2020 23:23:35 +0200 | wenzelm | more robust; | file | diff | annotate |
Mon, 13 Jul 2020 23:10:47 +0200 | wenzelm | support for monitoring of external ML process; | file | diff | annotate |
Mon, 13 Jul 2020 22:07:18 +0200 | wenzelm | clarified modules: ML_Statistics within bootstrap environment; | file | diff | annotate |
Wed, 20 Feb 2019 12:10:40 +0100 | wenzelm | updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); | file | diff | annotate |
Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Sun, 10 Apr 2016 22:27:05 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Sun, 28 Feb 2016 21:20:51 +0100 | wenzelm | support only polyml-5.3.0 and polyml-5.6; | file | diff | annotate | base |