src/Pure/Tools/doc.scala
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-04-29 wenzelm 2014-04-29 clarified;
2014-04-22 wenzelm 2014-04-22 tuned;
2014-04-05 wenzelm 2014-04-05 tuned error;
2014-04-05 wenzelm 2014-04-05 proper settings instead of hard-wired information;
2014-04-05 wenzelm 2014-04-05 explicit indication of important doc sections ("!"), which are expanded in the tree view;
2014-04-05 wenzelm 2014-04-05 clarified Doc entry: more explicit path; allow plain files as Doc; refer to official jEdit documentation;
2014-03-25 wenzelm 2014-03-25 some SML examples;
2013-12-07 wenzelm 2013-12-07 more direct Isabelle_System.pdf_viewer; generic Isabelle_System.open, e.g. for URLs;
2013-09-26 wenzelm 2013-09-26 added Isabelle/ML example;
2013-09-21 wenzelm 2013-09-21 immediate access to some elementary examples;
2013-07-27 wenzelm 2013-07-27 documentation is always in PDF;
2013-07-06 wenzelm 2013-07-06 more release notes according to availability in proper release vs. repository clone; discontinued generated HTML for files that are accessible in 1 click;
2013-07-06 wenzelm 2013-07-06 quick access to release notes (imitating website/documentation.html);
2013-06-25 wenzelm 2013-06-25 clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back;
2013-06-25 wenzelm 2013-06-25 slightly improved "isabelle doc" based on Isabelle/Scala; updated documentation of "isabelle display";