| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Jun 2024 12:35:38 +0200 | wenzelm | unused; | file | diff | annotate |
| Sat, 01 Jun 2024 12:31:06 +0200 | wenzelm | clarified signature: prefer symbolic isabelle.Path over physical java.io.File; | file | diff | annotate |
| Fri, 24 Nov 2023 20:58:12 +0100 | wenzelm | disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1); | file | diff | annotate |
| Fri, 24 Nov 2023 16:17:29 +0100 | wenzelm | prefer Unix-domain socket on Unix; | file | diff | annotate |
| Tue, 28 Feb 2023 17:42:13 +0100 | wenzelm | clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure; | file | diff | annotate |
| Fri, 24 Feb 2023 20:40:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Dec 2022 13:52:44 +0100 | wenzelm | clarified signature; | file | diff | annotate |