| Sat, 19 Dec 2020 12:05:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 11:43:24 +0100 | wenzelm | clarified comments: file-system access is always unsynchronized; | changeset | files |
| Sat, 19 Dec 2020 17:49:14 +0000 | haftmann | more precise simpset for method unat_arith | changeset | files |
| Sat, 19 Dec 2020 09:33:11 +0000 | haftmann | clarified scope of concept | changeset | files |
| Fri, 18 Dec 2020 10:37:26 +0000 | haftmann | clarified name | changeset | files |
| Sat, 19 Dec 2020 00:23:21 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 19 Dec 2020 00:08:14 +0100 | wenzelm | download auxiliary files via "curl"; | changeset | files |