| Fri, 17 Feb 2017 20:01:17 +0100 | wenzelm | removed obsolete test -- coincides with mainline version; | changeset | files |
| Fri, 17 Feb 2017 19:37:14 +0100 | wenzelm | updated to polyml-5.7 pre-release from repository; | changeset | files |
| Thu, 16 Feb 2017 13:54:22 +0100 | fleury | use the cancellation simprocs directly | changeset | files |