| Wed, 25 Jun 2025 12:37:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 25 Jun 2025 12:29:04 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 25 Jun 2025 12:08:12 +0200 | wenzelm | clarified signature: more accurate ML_Settings; | 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 |
| Thu, 26 Dec 2024 15:24:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 26 Dec 2024 15:18:19 +0100 | wenzelm | drop redundant space in HTML (see also 18a720984855); | file | diff | annotate |