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