| Sat, 21 Nov 2020 17:57:54 +0100 |
wenzelm |
more interrupts;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:30:44 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 16:22:35 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 16:07:20 +0100 |
wenzelm |
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
|
file |
diff |
annotate
|
| Thu, 19 Nov 2020 21:12:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:39:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 21:34:13 +0100 |
wenzelm |
store documents within session database, instead of browser_info directory;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 23:26:41 +0100 |
wenzelm |
simplified/clarified persistent session information;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:57:56 +0100 |
wenzelm |
refer to command_timings/last_timing via resources;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2020 16:34:01 +0100 |
wenzelm |
clarified access to single database server vs. collection of database files;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 22:46:02 +0100 |
wenzelm |
clarified signature: master_dir is just Path.current;
|
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
|
| 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
|
| Thu, 12 Nov 2020 12:10:17 +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
|
| Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2020 22:22:56 +0200 |
wenzelm |
some support for document preparation in Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2020 21:14:47 +0200 |
wenzelm |
unused (see 7b318273a4aa);
|
file |
diff |
annotate
|
| Thu, 27 Aug 2020 12:34:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 22:19:32 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 23:44:43 +0200 |
wenzelm |
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 23:27:52 +0200 |
wenzelm |
more compact command_timings, as in former batch-build;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|