Mon, 02 Sep 2019 19:44:12 +0200 | wenzelm | more explicit type Dump.Session, with context information; | file | diff | annotate |
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 |