| Thu, 19 Nov 2020 21:59:17 +0100 | wenzelm | proper message; | changeset | files |
| Thu, 19 Nov 2020 21:23:12 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Nov 2020 21:12:35 +0100 | wenzelm | clarified modules; | changeset | files |
| Thu, 19 Nov 2020 17:50:14 +0100 | wenzelm | more robust library_call (again): dynamic file name, static symbol; | changeset | files |
| Thu, 19 Nov 2020 17:46:58 +0100 | wenzelm | updated to polyml-test-7e49fce62e3d --- follow current ongoing development; | changeset | files |
| Thu, 19 Nov 2020 15:11:37 +0100 | desharna | reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585 | changeset | files |
| Thu, 19 Nov 2020 14:46:49 +0100 | desharna | repaired thf output broken by c7e2a9bdc585 | changeset | files |
| Thu, 19 Nov 2020 14:43:50 +0100 | desharna | renamed data type | changeset | files |