| Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | file | diff | annotate |
| Fri, 31 May 2024 20:46:51 +0200 | wenzelm | suport Isabelle_System.bash via SSH.System; | file | diff | annotate |
| Thu, 28 Mar 2024 11:45:45 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 28 Mar 2024 11:35:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| 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 |