src/Pure/Tools/build_doc.scala
2015-09-29 wenzelm 2015-09-29 clarified modules;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
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;