| Fri, 18 Oct 2024 14:20:09 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| Thu, 10 Oct 2024 12:20:24 +0200 | wenzelm | clarified inner-syntax markup; | file | diff | annotate |
| Tue, 01 Oct 2024 20:39:16 +0200 | wenzelm | drop somewhat pointless 'syntax_consts' declarations; | file | diff | annotate |
| Sun, 29 Sep 2024 21:57:47 +0200 | wenzelm | clarified markup: avoid conflict of "notation" with "entity", e.g. in "[x,y,z]" without spaces; | file | diff | annotate |
| Fri, 20 Sep 2024 23:37:00 +0200 | wenzelm | more inner syntax markup: minor object-logics; | file | diff | annotate |
| Fri, 20 Sep 2024 19:51:08 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | file | diff | annotate |
| Sun, 25 Aug 2024 15:07:22 +0200 | wenzelm | tuned, following be8c0e039a5e; | file | diff | annotate |