| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Fri, 04 Mar 2022 11:44:05 +0100 | wenzelm | proper antiquotations (amending ff784d5a5bfb); | file | diff | annotate |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |
| Sun, 23 May 2021 19:29:18 +0200 | wenzelm | clarified treatment of type constructors; | file | diff | annotate |
| Tue, 20 Apr 2021 22:53:24 +0200 | wenzelm | proper use of antiquotations; | file | diff | annotate |
| Fri, 23 Aug 2019 14:32:51 +0200 | wenzelm | clarified 'thm_deps' command; | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 30 Dec 2018 16:56:31 +0100 | wenzelm | exclude file name components that are special on Windows; | file | diff | annotate |
| Sun, 23 Sep 2018 19:59:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 19 Jan 2018 20:09:04 +0100 | wenzelm | avoid evaluation of embedded comment; | file | diff | annotate |
| Tue, 16 Jan 2018 15:42:21 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Wed, 25 Oct 2017 13:47:53 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Wed, 20 Jul 2016 21:26:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
| Sat, 11 Jun 2016 16:41:11 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| Mon, 30 May 2016 20:58:16 +0200 | wenzelm | tuned; | file | diff | annotate |