| 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
|
| Thu, 16 Feb 2017 09:45:03 +0100 |
fleury |
don't activate simproc on cancel_comm_monoid_add
|
changeset |
files
|
| Tue, 14 Feb 2017 18:32:53 +0100 |
fleury |
cancellation simprocs generalising the multiset simprocs
|
changeset |
files
|
| Mon, 13 Feb 2017 16:03:55 +0100 |
fleury |
adding simplification patterns to multiset simprocs
|
changeset |
files
|
| Mon, 13 Feb 2017 16:03:53 +0100 |
fleury |
renaming multiset simprocs
|
changeset |
files
|
| Sat, 11 Feb 2017 22:53:35 +0100 |
haftmann |
implicit eta contraction for preprocessed terms avoids unintended implicit eta expansion
|
changeset |
files
|
| Sat, 11 Feb 2017 22:53:33 +0100 |
haftmann |
explicit operations for executable primality checks
|
changeset |
files
|
| Sat, 11 Feb 2017 22:53:31 +0100 |
haftmann |
more fun without recdef
|
changeset |
files
|
| Fri, 10 Feb 2017 11:39:23 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 10 Feb 2017 11:15:52 +0100 |
wenzelm |
proper transaction for PostgreSQL;
|
changeset |
files
|
| Fri, 10 Feb 2017 11:04:28 +0100 |
wenzelm |
clarified Date storage;
|
changeset |
files
|
| Fri, 10 Feb 2017 10:34:14 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Fri, 10 Feb 2017 10:01:54 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|