src/Pure/Tools/doc.scala
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";