| Wed, 13 Sep 2023 17:08:55 +0000 | haftmann | some hints on managed installations | file | diff | annotate |
| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Sat, 12 Feb 2022 07:52:34 +0100 | haftmann | updated documentation to current matter of affairs | file | diff | annotate |
| Mon, 01 Apr 2019 21:58:45 +0200 | wenzelm | 'code_reflect' only supports new-style 'file_prefix'; | file | diff | annotate |
| Sun, 20 Jan 2019 17:14:35 +0000 | haftmann | more conventional syntax for code_stmts antiquotation | file | diff | annotate |
| Mon, 14 Jan 2019 18:33:53 +0000 | haftmann | canonical operation to typeset generated code makes dedicated environment obsolete | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |