| Tue, 07 Nov 2017 16:50:26 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Nov 2017 15:45:33 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 20 Apr 2017 10:30:30 +0200 | wenzelm | store Sessions.Info.name; | file | diff | annotate |
| Fri, 07 Apr 2017 11:50:49 +0200 | wenzelm | support for static session imports, without affect build hierarchy; | file | diff | annotate |
| Thu, 02 Mar 2017 15:46:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 19 Oct 2016 16:30:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 15 Oct 2016 11:38:03 +0200 | wenzelm | prefer Isabelle standard Path; | file | diff | annotate |
| Wed, 12 Oct 2016 10:22:34 +0200 | wenzelm | explicit indication of Admin tools; | file | diff | annotate | base |