| Sat, 28 Jan 2023 20:58:00 +0100 | wenzelm | obsolete (see also d547173212d2); | changeset | files |
| Sat, 28 Jan 2023 20:50:45 +0100 | wenzelm | clarified names to emphasize suble differences in meaning; | changeset | files |
| Sat, 28 Jan 2023 20:21:55 +0100 | wenzelm | prefer high-level Other_Isabelle.bash over low-level SSH.execute; | changeset | files |