| Mon, 30 Sep 2024 20:30:59 +0200 | wenzelm | clarified inner-syntax markup, notably for enumerations: prefer "notation=mixfix" over "entity" via 'syntax_consts' (see also 70076ba563d2); | file | diff | annotate |
| Sun, 01 Sep 2024 19:35:30 +0200 | wenzelm | proper string syntax (amending 70076ba563d2); | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sat, 08 Sep 2018 08:09:07 +0000 | haftmann | more explicit notion of ord value for HOL characters | file | diff | annotate |
| Sun, 06 May 2018 18:20:25 +0000 | haftmann | typo | file | diff | annotate |
| Tue, 24 Apr 2018 14:17:58 +0000 | haftmann | proper datatype for 8-bit characters | file | diff | annotate |
| Sat, 12 Mar 2016 22:04:52 +0100 | haftmann | model characters directly as range 0..255 | file | diff | annotate |