| Mon, 11 Mar 2019 16:23:30 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 03 Mar 2019 18:45:08 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Mar 2019 21:29:59 +0100 | wenzelm | system option "system_heaps" supersedes various command-line options for "system build mode"; | file | diff | annotate |
| Sun, 06 Jan 2019 12:42:26 +0100 | wenzelm | support for isabelle update -u path_cartouches; | file | diff | annotate |
| Wed, 02 Jan 2019 12:50:32 +0100 | wenzelm | tuned messages; | file | diff | annotate |
| Mon, 31 Dec 2018 13:07:24 +0100 | wenzelm | update theory sources based on PIDE markup; | file | diff | annotate |