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