| 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 |
| Mon, 28 Jul 2025 16:14:46 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 29 Jun 2025 15:48:13 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Sun, 29 Jun 2025 14:17:49 +0200 | wenzelm | basic support to reload theory markup from session store; | file | diff | annotate |