| Tue, 18 Mar 2025 19:07:26 +0100 | wenzelm | SSH connections allow zsh as well: this happens to work with the existing Bash.char / Bach.string operations; | changeset | files |
| Tue, 18 Mar 2025 18:12:07 +0000 | paulson | merged | changeset | files |
| Tue, 18 Mar 2025 18:11:58 +0000 | paulson | Tidied old proofs | changeset | files |
| Tue, 18 Mar 2025 14:05:07 +0100 | wenzelm | mini1 is not active due to upgrade; | changeset | files |
| Tue, 18 Mar 2025 08:41:07 +0100 | desharna | fixed missing from a0693649e9c6 | changeset | files |
| Mon, 17 Mar 2025 16:29:48 +0100 | desharna | removed lemma wf_empty (use wf_on_bot instead) | changeset | files |