| Wed, 25 Jun 2025 12:43:37 +0200 | wenzelm | more accurate ML_Settings from underlying Session; | file | diff | annotate |
| Wed, 25 Jun 2025 12:29:04 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 15 Jun 2025 22:46:45 +0200 | wenzelm | more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings; | file | diff | annotate |
| Wed, 09 Apr 2025 22:23:59 +0200 | wenzelm | tuned: prefer explicit Bash.exports; | 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 |
| Sun, 26 Mar 2023 12:53:53 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sun, 26 Mar 2023 12:41:34 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |