src/Pure/Thy/present.scala
Fri, 22 Dec 2017 16:10:48 +0100 wenzelm proper title;
Fri, 22 Dec 2017 14:27:59 +0100 wenzelm clarified modules;
Fri, 22 Dec 2017 11:39:49 +0100 wenzelm tuned signature;
Thu, 21 Dec 2017 22:38:28 +0100 wenzelm clarified signature;
Thu, 21 Dec 2017 22:07:30 +0100 wenzelm isabelle.preview presents auxiliary text files as well;
Thu, 14 Dec 2017 21:15:04 +0100 wenzelm purge log files -- avoid old errors;
Thu, 14 Dec 2017 21:09:41 +0100 wenzelm expose bibtex errors;
Thu, 14 Dec 2017 14:28:27 +0100 wenzelm proper \isakeeptag (amending 13b5c3ff1954);
Tue, 12 Dec 2017 13:34:11 +0100 wenzelm tuned message;
Sun, 10 Dec 2017 20:50:09 +0100 wenzelm tuned messages;
Sun, 10 Dec 2017 18:43:08 +0100 wenzelm removed obsolete option (see 74a1b722507e);
Sun, 10 Dec 2017 18:31:41 +0100 wenzelm re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
Mon, 12 Jun 2017 20:24:40 +0200 wenzelm tuned rendering;
Thu, 08 Jun 2017 23:04:07 +0200 wenzelm more HTML rendering as in Isabelle/jEdit;
Thu, 08 Jun 2017 21:17:13 +0200 wenzelm tuned signature;
Thu, 08 Jun 2017 14:27:13 +0200 wenzelm clarified signature;
Thu, 08 Jun 2017 14:08:07 +0200 wenzelm HTML preview based on PIDE markup;
Thu, 08 Jun 2017 13:01:50 +0200 wenzelm tuned layout (amending 8040d2563593);
Thu, 01 Jun 2017 23:12:48 +0200 wenzelm generate CSS for Isabelle fonts;
Thu, 01 Jun 2017 21:24:33 +0200 wenzelm tuned signature;
Thu, 01 Jun 2017 15:19:50 +0200 wenzelm tuned signature;
Wed, 31 May 2017 21:48:32 +0200 wenzelm tuned layout;
Wed, 31 May 2017 21:37:50 +0200 wenzelm modernized generated HTML;
Thu, 06 Apr 2017 14:32:56 +0200 wenzelm clarified modules;
Wed, 05 Apr 2017 11:39:36 +0200 wenzelm tuned signature;
Tue, 04 Apr 2017 21:37:26 +0200 wenzelm tuned signature;
Tue, 04 Apr 2017 21:33:51 +0200 wenzelm proper base name;
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