| Mon, 27 Jan 2025 13:13:28 +0100 |
haftmann |
clarified scopes
|
file |
diff |
annotate
|
| Fri, 10 Jan 2025 18:35:46 +0100 |
haftmann |
more correct code generation for string literals
|
file |
diff |
annotate
|
| Thu, 02 Jan 2025 08:37:55 +0100 |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| Sun, 06 Oct 2024 22:56:07 +0200 |
wenzelm |
more inner-syntax markup, without pretty blocks;
|
file |
diff |
annotate
|
| Sat, 05 Oct 2024 22:24:24 +0200 |
wenzelm |
more inner-syntax markup;
|
file |
diff |
annotate
|
| Fri, 04 Oct 2024 13:29:33 +0200 |
wenzelm |
clarified syntax for opening bundles;
|
file |
diff |
annotate
|
| Mon, 23 Sep 2024 13:32:38 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Sun, 25 Aug 2024 15:02:19 +0200 |
wenzelm |
more markup for syntax consts;
|
file |
diff |
annotate
|
| Fri, 05 Apr 2024 21:21:02 +0200 |
wenzelm |
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
|
file |
diff |
annotate
|
| Fri, 05 Apr 2024 20:41:54 +0200 |
wenzelm |
proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 17:44:03 +0000 |
haftmann |
more specific name for type class
|
file |
diff |
annotate
|
| Mon, 25 Jul 2022 06:31:32 +0000 |
haftmann |
Avoid shadowing original List._ namespace.
|
file |
diff |
annotate
|
| Sat, 09 Jul 2022 08:05:53 +0000 |
haftmann |
refined code equations for characters
|
file |
diff |
annotate
|
| Mon, 04 Jul 2022 07:57:22 +0000 |
haftmann |
officical abstract characters for code generation
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 09:50:37 +0000 |
haftmann |
Centralized some char-related lemmas in distribution.
|
file |
diff |
annotate
|