| Wed, 25 Jun 2025 12:29:04 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 24 Jun 2025 22:08:20 +0200 | wenzelm | clarified modules; | 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 |
| Sun, 15 Jun 2025 13:13:37 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 14 Jun 2025 17:10:18 +0200 | wenzelm | discontinued ML_IDENTIFIER settings variable; | file | diff | annotate |
| Sat, 14 Jun 2025 14:37:34 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |