| 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 |
| Sat, 15 Jul 2023 23:35:00 +0100 | paulson | merged | changeset | files |
| Sat, 15 Jul 2023 23:34:42 +0100 | paulson | trivial_topology | changeset | files |
| Fri, 14 Jul 2023 15:54:25 +0200 | Lukas Stevens | merged; | changeset | files |
| Fri, 14 Jul 2023 15:45:50 +0200 | Lukas Stevens | added docs for order method in Orderings; | changeset | files |