| 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 |