| Wed, 02 Oct 2019 14:45:37 +0200 |
wenzelm |
more robust: avoid update/interrupt of long-running print_consolidation;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 19:35:08 +0200 |
wenzelm |
clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories);
|
file |
diff |
annotate
|
| Mon, 02 Sep 2019 11:46:27 +0200 |
wenzelm |
clarified signature: prefer operations without position;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 21:12:29 +0100 |
wenzelm |
document markers are formal comments, and may thus occur anywhere in the command-span;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 00:21:34 +0100 |
wenzelm |
added semantic document markers;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2019 22:34:28 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2018 21:11:24 +0200 |
wenzelm |
clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2018 21:06:09 +0200 |
wenzelm |
tuned signature;
|
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
|
| Thu, 31 May 2018 22:10:06 +0200 |
wenzelm |
clarified: consolidated result is last command;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 22:25:59 +0200 |
wenzelm |
more node status information;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 17:40:34 +0200 |
wenzelm |
clarified signature: Known.theories retains Document.Node.Entry (with header);
|
file |
diff |
annotate
|
| Tue, 08 May 2018 11:47:41 +0200 |
wenzelm |
more robust: self-export only;
|
file |
diff |
annotate
|
| Mon, 07 May 2018 17:11:01 +0200 |
wenzelm |
store exports within PIDE command state;
|
file |
diff |
annotate
|
| Sun, 11 Mar 2018 20:56:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 11 Mar 2018 20:47:17 +0100 |
wenzelm |
update XML cache for slightly modified messages;
|
file |
diff |
annotate
|
| Sun, 11 Mar 2018 20:31:25 +0100 |
wenzelm |
more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 11:27:52 +0100 |
wenzelm |
discontinued old form of marginal comments;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 19:29:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 05 Oct 2017 17:37:47 +0200 |
wenzelm |
completion supports theory header imports;
|
file |
diff |
annotate
|
| Tue, 08 Aug 2017 22:13:05 +0200 |
wenzelm |
maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 11:38:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 12:20:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 16:36:45 +0200 |
wenzelm |
provide session qualifier via resources;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 15:35:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 20 Mar 2017 20:43:26 +0100 |
wenzelm |
support to encode/decode command state;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 20:37:48 +0100 |
wenzelm |
more uniform node_header (non-strict);
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 19:36:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|