| Sat, 02 Jan 2021 16:07:40 +0100 | wenzelm | proper ssh_port (amending ffd8283b7be0); | changeset | files |
| Sat, 02 Jan 2021 15:58:48 +0100 | wenzelm | clarified signature --- internal Cache.none; | changeset | files |
| Sat, 02 Jan 2021 14:24:03 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 02 Jan 2021 00:05:25 +0100 | wenzelm | more verbosity for potentially bulky presentation; | changeset | files |
| Fri, 01 Jan 2021 23:35:09 +0100 | wenzelm | tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow"); | changeset | files |
| Fri, 01 Jan 2021 17:35:04 +0100 | wenzelm | tuned signature -- prefer Isabelle/ML structure Integer; | changeset | files |
| Fri, 01 Jan 2021 17:08:51 +0100 | wenzelm | tuned signature -- prefer Isabelle/ML structure Integer; | changeset | files |