src/Pure/Admin/build_doc.scala
17 months ago wenzelm 2017-11-07 tuned signature;
2017-04-20 wenzelm 2017-04-20 store Sessions.Info.name;
2017-04-07 wenzelm 2017-04-07 support for static session imports, without affect build hierarchy;
2017-03-02 wenzelm 2017-03-02 tuned;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2016-10-19 wenzelm 2016-10-19 tuned;
2016-10-15 wenzelm 2016-10-15 prefer Isabelle standard Path;
2016-10-12 wenzelm 2016-10-12 explicit indication of Admin tools;