| Sat, 23 Feb 2019 21:33:09 +0100 | wenzelm | more memory fields; | 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 |
| Wed, 09 May 2018 19:53:37 +0200 | wenzelm | record total number of tasks; | file | diff | annotate |