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 |