| 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 |