| Sun, 02 Feb 2025 16:04:09 +0100 | wenzelm | tuned documentation; | file | diff | annotate |
| Tue, 18 May 2021 15:17:55 +0200 | wenzelm | option document_logo; | file | diff | annotate |
| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | file | diff | annotate |
| Mon, 11 Nov 2019 17:32:40 +0100 | wenzelm | documentation on Phabricator server administration; | file | diff | annotate |
| Mon, 19 Mar 2018 19:24:45 +0100 | wenzelm | documentation for the Isabelle server; | file | diff | annotate |
| Wed, 16 Mar 2016 21:14:59 +0100 | wenzelm | clarified name; | file | diff | annotate |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | file | diff | annotate |
| Mon, 12 Oct 2015 19:41:10 +0200 | wenzelm | obsolete; | file | diff | annotate |