src/Pure/Admin/build_doc.scala
2016-10-15 wenzelm 2016-10-15 prefer Isabelle standard Path;
2016-10-12 wenzelm 2016-10-12 explicit indication of Admin tools;