| Thu, 02 Jan 2025 08:37:55 +0100 | haftmann | refined syntax for code_reserved | file | diff | annotate |
| Wed, 02 Oct 2024 11:27:19 +0200 | wenzelm | tuned whitespace; | 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 |
| Sun, 15 Nov 2020 07:17:06 +0000 | haftmann | bundles for reflected term syntax | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Tue, 24 Apr 2018 14:17:58 +0000 | haftmann | proper datatype for 8-bit characters | file | diff | annotate |
| Mon, 05 Jun 2017 15:59:45 +0200 | haftmann | streamlined code setup for fake terms | file | diff | annotate |
| Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate |