| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | 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 |
| Sat, 01 Jun 2024 12:35:38 +0200 | wenzelm | unused; | 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 |
| Tue, 16 Apr 2024 16:54:15 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 18 Feb 2024 19:09:05 +0100 | wenzelm | clarified signature; | file | diff | annotate |