src/Pure/Thy/present.ML
Tue, 17 Nov 2020 16:48:18 +0100 wenzelm proper link location;
Mon, 16 Nov 2020 22:23:04 +0100 wenzelm HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
Mon, 16 Nov 2020 13:11:15 +0100 wenzelm refer to HTML symbols via resources;
Sun, 15 Nov 2020 22:00:45 +0100 wenzelm refer to session structure from resources;
Sun, 15 Nov 2020 17:34:19 +0100 wenzelm clarified bibtex_entries: refer to overall session structure;
Sat, 14 Nov 2020 17:29:37 +0100 wenzelm tuned signature;
Wed, 11 Nov 2020 21:00:14 +0100 wenzelm build documents in Isabelle/Scala, based on generated tex files as session exports;
Tue, 27 Oct 2020 22:34:37 +0100 wenzelm clarified signature: overloaded "+" for Path.append;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Mon, 28 Sep 2020 17:43:31 +0200 wenzelm unused (see 564012e31db1);
Sat, 26 Sep 2020 16:02:41 +0200 wenzelm tuned signature;
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Thu, 16 Jul 2020 16:38:25 +0200 wenzelm more thorough extend/merge (for Theory.join_theory);
Sat, 28 Mar 2020 19:11:59 +0100 wenzelm eliminated pointless flag (see also 6533ceee4cd7);
Tue, 26 Jun 2018 18:44:51 +0200 wenzelm tuned signature;
Mon, 14 May 2018 14:30:13 +0200 wenzelm export generated document.tex, unless explicit document=false;
Mon, 14 May 2018 10:58:14 +0200 wenzelm clarified signature: more explicit type "context" with full options;
Sat, 13 Jan 2018 19:50:37 +0100 wenzelm tuned;
Fri, 29 Dec 2017 21:17:43 +0100 wenzelm no check for bibtex entries from other sessions;
Fri, 29 Dec 2017 17:40:57 +0100 wenzelm formal check of @{cite} bibtex entries -- only in batch-mode session builds;
Thu, 28 Dec 2017 12:20:52 +0100 wenzelm unused;
Fri, 22 Dec 2017 18:32:59 +0100 wenzelm discontinued 'display_drafts' command;
Wed, 13 Dec 2017 18:01:22 +0100 wenzelm purge more carefully (amending 26f548370e8d);
Wed, 13 Dec 2017 16:18:40 +0100 wenzelm positions as postlude: avoid intrusion of odd %-forms into main tex source;
Tue, 12 Dec 2017 17:53:59 +0100 wenzelm purge more thoroughly;
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 20:31:14 +0100 wenzelm clean log file on Windows;
Sun, 10 Dec 2017 18:31:41 +0100 wenzelm re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
Sun, 10 Dec 2017 14:50:44 +0100 wenzelm removed Emacs legacy;
Sun, 10 Dec 2017 14:29:14 +0100 wenzelm more explicit latex errors;
Mon, 30 Oct 2017 19:36:27 +0100 wenzelm eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
Tue, 19 Sep 2017 14:26:25 +0200 wenzelm clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);
Thu, 08 Jun 2017 12:54:55 +0200 wenzelm more official session qualifier;
Tue, 18 Apr 2017 16:34:58 +0200 wenzelm exclude theories from other sessions;
Mon, 17 Apr 2017 15:08:49 +0200 wenzelm obsolete;
Mon, 10 Apr 2017 21:43:21 +0200 wenzelm clarified theory_long_name (for qualified access to Thy_Info) vs. short theory_name (which is unique within any given theory context);
Sun, 03 Apr 2016 21:32:57 +0200 wenzelm clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
Thu, 10 Mar 2016 17:30:04 +0100 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
Mon, 07 Mar 2016 21:33:41 +0100 wenzelm tuned -- more standard operations;
Mon, 07 Mar 2016 21:09:28 +0100 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Fri, 09 Oct 2015 16:09:16 +0200 wenzelm more Present operations on Scala side;
Wed, 15 Apr 2015 19:08:37 +0200 wenzelm session graph with folded base theories, as in document preparation;
Mon, 26 Jan 2015 13:48:29 +0100 wenzelm prefer plain session_graph.pdf over GraphBrowser applet;
Sun, 25 Jan 2015 22:11:06 +0100 wenzelm discontinued obsolete option "document_graph";
Sun, 25 Jan 2015 21:46:21 +0100 wenzelm provide session_graph.pdf via Isabelle/Scala;
Sat, 03 Jan 2015 15:45:01 +0100 wenzelm more uniform support for graph display in ML/Scala;
Wed, 31 Dec 2014 20:42:45 +0100 wenzelm clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
Wed, 31 Dec 2014 14:28:04 +0100 wenzelm tuned;
Wed, 31 Dec 2014 14:15:52 +0100 wenzelm for graph display, prefer graph data structure over list with dependencies;
Wed, 31 Dec 2014 14:13:11 +0100 wenzelm more explict and generic field names
Mon, 22 Dec 2014 14:35:42 +0100 wenzelm proper Synchronized.var;
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Sun, 02 Nov 2014 16:09:35 +0100 wenzelm more flexibile \setisabellecontext, independently of header;
Sun, 10 Aug 2014 15:59:12 +0200 wenzelm insist in proper 'document_files';
Tue, 29 Apr 2014 15:42:19 +0200 wenzelm require explicit 'document_files';
Thu, 17 Apr 2014 11:42:36 +0200 wenzelm tuned;
Thu, 17 Apr 2014 11:29:15 +0200 wenzelm tuned;
Fri, 11 Apr 2014 11:52:28 +0200 wenzelm explicit 'document_files' in session ROOT specifications;
less more (0) -100 -60 tip