2017-04-01 wenzelm 2017-04-01 clarified YXML vs. symbol encoding: operate on whole message;
2017-03-02 wenzelm 2017-03-02 clarified fonts;
2017-03-02 wenzelm 2017-03-02 tuned;
2016-08-12 wenzelm 2016-08-12 more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
2016-04-14 wenzelm 2016-04-14 back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2015-10-21 wenzelm 2015-10-21 Isabelle fonts via external component;
2015-10-19 wenzelm 2015-10-19 avoid odd permissions of fresh tmp_file;
2015-10-09 wenzelm 2015-10-09 server-side fonts;
2015-10-09 wenzelm 2015-10-09 more Present operations on Scala side;
2015-04-15 wenzelm 2015-04-15 tuned signature, clarified modules;
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;