Sun, 03 Mar 2024 17:47:50 +0100 | wenzelm | more robust: imitate Isabelle/ML operation more closely (after 26a43785590b); | file | diff | annotate |
Sun, 03 Mar 2024 16:32:59 +0100 | wenzelm | tuned; | file | diff | annotate |
Sat, 17 Feb 2024 17:23:22 +0100 | wenzelm | clarified modules: centralize default policy; | file | diff | annotate |