| Sat, 15 Jul 2023 13:38:01 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 14 Jul 2023 16:53:39 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 14 Jul 2023 14:56:48 +0200 | wenzelm | clarified signature: follow Store.open_database; | changeset | files |
| Fri, 14 Jul 2023 14:25:53 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 14 Jul 2023 14:21:22 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 14 Jul 2023 13:31:05 +0200 | wenzelm | clarified signature: more uniform SSH.Port_Forwarding; | changeset | files |
| Fri, 14 Jul 2023 11:11:06 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 16 Jul 2023 11:04:59 +0100 | paulson | X = trivial_topology rather than topspace X = {} | changeset | files |