| Fri, 20 Nov 2020 23:53:37 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 20 Nov 2020 23:47:34 +0100 | wenzelm | generate theory HTML in Isabelle/Scala; | file | diff | annotate |
| Thu, 19 Nov 2020 22:05:34 +0100 | wenzelm | clarified messages; | file | diff | annotate |
| Thu, 19 Nov 2020 21:23:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 18 Nov 2020 21:39:55 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 18 Nov 2020 21:34:13 +0100 | wenzelm | store documents within session database, instead of browser_info directory; | file | diff | annotate |
| Wed, 18 Nov 2020 15:52:12 +0100 | wenzelm | clarified modules; | file | diff | annotate | base |