| Wed, 15 Jul 2020 20:06:45 +0200 |
wenzelm |
more robust wrt. experimental changes in Poly/ML;
|
file |
diff |
annotate
|
| Wed, 15 Jul 2020 17:10:26 +0200 |
wenzelm |
more robust: handle unavailable statistics;
|
file |
diff |
annotate
|
| Wed, 15 Jul 2020 16:10:43 +0200 |
wenzelm |
clarified user counters: expose tasks to external monitor;
|
file |
diff |
annotate
|
| 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
|