| Wed, 06 Aug 2025 15:32:17 +0200 | wenzelm | more accurate treatment unicode_symbols (for main theory file); | file | diff | annotate |
| Wed, 06 Aug 2025 14:06:16 +0200 | wenzelm | proper comparison of actual source (amending fe8598c92be7), e.g. relevant for "File / Reload with Encoding / UTF-8" in Isabelle/jEdit; | file | diff | annotate |
| Thu, 31 Jul 2025 13:41:43 +0200 | wenzelm | tuned output; | file | diff | annotate |