| Sun, 03 Mar 2019 20:13:25 +0100 | wenzelm | clarified signature -- allow more re-use; | changeset | files |
| Sun, 03 Mar 2019 19:30:17 +0100 | wenzelm | concrete predicates from "Dublin Core"; | changeset | files |
| Sun, 03 Mar 2019 19:12:28 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Mar 2019 18:45:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 03 Mar 2019 16:00:14 +0100 | wenzelm | tuned document; | changeset | files |
| Fri, 01 Mar 2019 21:29:59 +0100 | wenzelm | system option "system_heaps" supersedes various command-line options for "system build mode"; | changeset | files |
| Fri, 01 Mar 2019 20:16:26 +0100 | wenzelm | more uniform session_system_mode (see also e57416b649d5); | changeset | files |