src/Pure/Thy/present.scala
Sat, 01 Apr 2017 19:17:15 +0200 wenzelm clarified YXML vs. symbol encoding: operate on whole message;
Thu, 02 Mar 2017 16:46:22 +0100 wenzelm clarified fonts;
Thu, 02 Mar 2017 15:56:43 +0100 wenzelm tuned;
Fri, 12 Aug 2016 22:51:45 +0200 wenzelm 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;
Thu, 14 Apr 2016 11:34:10 +0200 wenzelm back to exact copy of non-text file (amending dcc8e1d34b18);
Tue, 15 Mar 2016 22:01:26 +0100 wenzelm clarified modules;
Wed, 21 Oct 2015 18:00:12 +0200 wenzelm Isabelle fonts via external component;
Mon, 19 Oct 2015 16:55:52 +0200 wenzelm avoid odd permissions of fresh tmp_file;
Fri, 09 Oct 2015 16:58:24 +0200 wenzelm server-side fonts;
Fri, 09 Oct 2015 16:09:16 +0200 wenzelm more Present operations on Scala side;
Wed, 15 Apr 2015 15:27:45 +0200 wenzelm tuned signature, clarified modules;
Tue, 14 May 2013 19:30:21 +0200 wenzelm tuned signature;
Wed, 13 Mar 2013 15:08:38 +0100 wenzelm do not absorb I/O errors;
Tue, 12 Mar 2013 22:44:03 +0100 wenzelm proper path -- I/O was hidden due to permissiveness;
Tue, 12 Mar 2013 20:03:04 +0100 wenzelm include session description in chapter index;
Tue, 12 Mar 2013 16:47:24 +0100 wenzelm discontinued "isabelle usedir" option -r (reset session path);
Thu, 03 Jan 2013 20:42:18 +0100 wenzelm maintain session index on Scala side, for more determistic results;
less more (0) tip