| 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
|