Fri, 27 Jun 2025 13:44:36 +0200 | wenzelm | clarified signature: omit pointless object-oriented indirection; | file | diff | annotate |
Fri, 27 Jun 2025 13:37:36 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 25 Jun 2025 11:51:13 +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 |
Mon, 01 Jul 2024 12:40:54 +0200 | wenzelm | clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml; | file | diff | annotate |
Sun, 02 Jun 2024 14:11:09 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 05 Mar 2024 16:06:06 +0100 | wenzelm | prefer dynamic objects, following a5fda30edae2; | file | diff | annotate |
Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |