| 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 appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10 | file | diff | annotate |
| Tue, 24 Apr 2018 14:17:58 +0000 | haftmann | proper datatype for 8-bit characters | file | diff | annotate |