src/Pure/Thy/present.scala
Wed, 11 Nov 2020 21:09:56 +0100 wenzelm obsolete, build happens in clean tmp_dir;
Wed, 11 Nov 2020 21:06:52 +0100 wenzelm redundant, see prepare_dir;
Wed, 11 Nov 2020 21:00:14 +0100 wenzelm build documents in Isabelle/Scala, based on generated tex files as session exports;
Sun, 08 Nov 2020 21:27:08 +0100 wenzelm tuned;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Thu, 14 Nov 2019 11:35:02 +0100 wenzelm clarified signature;
Thu, 29 Nov 2018 15:17:51 +0100 wenzelm clarified "hidden" terminology;
Wed, 28 Nov 2018 16:14:31 +0100 wenzelm clarified signature;
Wed, 28 Nov 2018 14:40:06 +0100 wenzelm tuned whitespace;
Wed, 28 Nov 2018 14:00:22 +0100 wenzelm more explicit Isabelle_Fonts.Entry;
Wed, 28 Nov 2018 11:28:02 +0100 wenzelm clarified modules;
Tue, 20 Nov 2018 13:44:06 +0100 wenzelm clarified presentation;
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
Sat, 22 Sep 2018 14:24:53 +0200 wenzelm proper return code for runtime failure;
Sat, 28 Jul 2018 21:21:26 +0200 wenzelm proper return code (true) if file is absent;
Wed, 09 May 2018 22:04:09 +0200 wenzelm more informative error, notably for missing executable;
Wed, 03 Jan 2018 22:29:31 +0100 wenzelm more tight HTML output: avoid extra lines within <pre>;
Wed, 03 Jan 2018 20:55:13 +0100 wenzelm HTML output for Markdown elements;
Fri, 22 Dec 2017 21:05:54 +0100 wenzelm store full blob source for the sake of markup_to_XML;
Fri, 22 Dec 2017 20:15:16 +0100 wenzelm PIDE markup for non-theory nodes;
Fri, 22 Dec 2017 17:49:51 +0100 wenzelm action "isabelle.draft" for plain-text preview;
Fri, 22 Dec 2017 17:19:53 +0100 wenzelm uniform preview for Isabelle/jEdit and Isabelle/VSCode;
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;
less more (0) -60 tip