src/Pure/Tools/build_doc.scala
2014-05-07 wenzelm 2014-05-07 tuned signature;
2014-05-06 wenzelm 2014-05-06 tuned;
2014-04-05 wenzelm 2014-04-05 tuned;
2014-04-05 wenzelm 2014-04-05 more uniform build options;
2014-04-05 wenzelm 2014-04-05 re-implemented build_doc in Isabelle/Scala; clarified command-line: specify documentation files (via document_variants) instead of sessions;