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 |
Thu, 16 Feb 2017 09:45:03 +0100 | fleury | don't activate simproc on cancel_comm_monoid_add | changeset | files |