| Wed, 25 Apr 2018 09:04:25 +0000 | haftmann | uniform tagging for printable and non-printable literals | file | diff | annotate |
| Tue, 24 Apr 2018 14:17:58 +0000 | haftmann | proper datatype for 8-bit characters | file | diff | annotate |
| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Sat, 17 Dec 2016 13:42:25 +0100 | wenzelm | tuned; | file | diff | annotate |