Thu, 28 Mar 2024 11:29:25 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 26 Mar 2024 11:15:48 +0100 | wenzelm | build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload); | file | diff | annotate |