| Sat, 30 Jul 2022 13:44:26 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Fri, 12 Nov 2021 16:49:28 +0100 | wenzelm | clarified HTML_Context: more explicit directory structure; | file | diff | annotate |
| Fri, 12 Nov 2021 13:36:35 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 11 Nov 2021 22:06:18 +0100 | wenzelm | clarified signature: prefer static operations; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Tue, 05 Jan 2021 14:21:18 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Jan 2021 16:21:59 +0100 | wenzelm | clarified HTML presentation elements; | file | diff | annotate |
| Sun, 20 Dec 2020 13:20:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 20 Dec 2020 12:24:41 +0100 | wenzelm | tuned signature: more explicit types; | file | diff | annotate |
| Sat, 19 Dec 2020 15:14:01 +0100 | wenzelm | clarified signature and module structure; | file | diff | annotate |
| Sat, 28 Nov 2020 20:14:46 +0100 | wenzelm | avoid conflicting base names; | file | diff | annotate |
| Wed, 18 Nov 2020 15:52:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 21 Apr 2020 19:07:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
| Sat, 01 Jun 2019 21:43:41 +0200 | wenzelm | tuned imports -- accommodate scala-2.13.0-RC3; | file | diff | annotate |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
| Fri, 22 Dec 2017 17:19:53 +0100 | wenzelm | uniform preview for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |
| Fri, 22 Dec 2017 14:27:59 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 29 Jun 2017 21:07:47 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Thu, 29 Jun 2017 11:42:42 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 16 Jun 2017 21:04:39 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |