| 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 15:20:49 +0200 |
wenzelm |
proper handling of removed nodes, e.g. via "Theories / Purge" in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Mon, 28 Jul 2025 16:11:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 30 Jun 2025 12:42:21 +0200 |
wenzelm |
inline errors as "bad" markup;
|
file |
diff |
annotate
|
| Sun, 29 Jun 2025 15:53:45 +0200 |
wenzelm |
more robust: avoid crash on session database errors;
|
file |
diff |
annotate
|
| Sun, 29 Jun 2025 14:17:49 +0200 |
wenzelm |
basic support to reload theory markup from session store;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 17:12:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 16:24:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 15:45:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 12:27:43 +0200 |
wenzelm |
eliminate odd workaround from Aug-2012 (see 393a37003851);
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 12:22:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2025 12:17:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2025 15:31:55 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 08 Nov 2024 18:39:35 +0100 |
wenzelm |
clarified signature: avoid pointless alias (see also c82a1620b274 and 22aeec526ffd);
|
file |
diff |
annotate
|