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 |