src/Pure/Thy/present.scala
2013-05-14 wenzelm 2013-05-14 tuned signature;
2013-03-13 wenzelm 2013-03-13 do not absorb I/O errors;
2013-03-12 wenzelm 2013-03-12 proper path -- I/O was hidden due to permissiveness;
2013-03-12 wenzelm 2013-03-12 include session description in chapter index; prefer alphabetical order;
2013-03-12 wenzelm 2013-03-12 discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
2013-01-03 wenzelm 2013-01-03 maintain session index on Scala side, for more determistic results; removed unused HTML operations;