| Thu, 02 May 2019 14:05:59 +0200 |
wenzelm |
clarified PIDE markup;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 17:53:46 +0100 |
wenzelm |
clarified spell-checking (see also 30233285270a);
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 13:25:33 +0100 |
wenzelm |
discontinued obsolete option "checkpoint";
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 12:42:26 +0100 |
wenzelm |
support for isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 21:48:05 +0100 |
wenzelm |
support for isabelle update -u inner_syntax_cartouches;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 21:06:39 +0100 |
wenzelm |
support for "isabelle update -u mixfix_cartouches";
|
file |
diff |
annotate
|
| Wed, 02 Jan 2019 20:20:01 +0100 |
wenzelm |
more robust system channel via options that are private to the user;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:56:53 +0100 |
wenzelm |
clarified defaults via system options;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 23:50:56 +0100 |
wenzelm |
clarified defaults for Windows/Cygwin hybrid;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 23:44:05 +0100 |
wenzelm |
adjusted to fc221fa79741;
|
file |
diff |
annotate
|
| Tue, 02 Oct 2018 19:02:47 +0200 |
wenzelm |
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2018 03:14:44 +0200 |
wenzelm |
added system option "strict_facts";
|
file |
diff |
annotate
|
| Sun, 24 Jun 2018 22:13:23 +0200 |
wenzelm |
disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
|
file |
diff |
annotate
|
| Tue, 05 Jun 2018 16:12:26 +0200 |
wenzelm |
less wasteful consolidation, based on PIDE front-end state and recent changes;
|
file |
diff |
annotate
|
| Sat, 02 Jun 2018 19:52:16 +0200 |
wenzelm |
less frequent consolidation: it requires a full Document.update and Document.start_execution;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 20:05:13 +0200 |
wenzelm |
support for build_database_server (PostgreSQL);
|
file |
diff |
annotate
|
| Wed, 16 May 2018 21:07:12 +0200 |
wenzelm |
clarified "consolidation" vs. "presentation";
|
file |
diff |
annotate
|
| Mon, 14 May 2018 22:22:47 +0200 |
wenzelm |
support for dynamic document output while editing;
|
file |
diff |
annotate
|
| Fri, 11 May 2018 22:59:00 +0200 |
wenzelm |
some export of foundational theory content;
|
file |
diff |
annotate
|
| Wed, 09 May 2018 20:45:57 +0200 |
wenzelm |
clarified future scheduling parameters, with support for parallel_limit;
|
file |
diff |
annotate
|
| Fri, 02 Mar 2018 11:52:27 +0100 |
wenzelm |
avoid hardwired parameters;
|
file |
diff |
annotate
|
| Thu, 25 Jan 2018 15:21:05 +0100 |
wenzelm |
more markup: disable spell-checker for raw latex;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 20:15:36 +0100 |
wenzelm |
more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
|
file |
diff |
annotate
|
| Sun, 24 Dec 2017 12:48:43 +0100 |
wenzelm |
more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
|
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:46:22 +0100 |
wenzelm |
option document_positions;
|
file |
diff |
annotate
|