| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 16:26:58 +0200 |
wenzelm |
allow user-defined server commands via isabelle_scala_service;
|
file |
diff |
annotate
|
| Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Mon, 13 Apr 2020 16:16:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 13:02:56 +0100 |
wenzelm |
clarified signature;
|
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
|
| Sat, 29 Dec 2018 16:11:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:56:53 +0100 |
wenzelm |
clarified defaults via system options;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2018 15:21:34 +0100 |
wenzelm |
clarified modules and signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:14:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:05:14 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 13:36:40 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:01:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 04 Sep 2018 16:23:54 +0200 |
wenzelm |
support for watchdog_timeout;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 22:09:09 +0200 |
wenzelm |
optional notification of nodes_status (via progress);
|
file |
diff |
annotate
|
| Sat, 11 Aug 2018 17:33:00 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2018 22:09:27 +0200 |
wenzelm |
added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
|
file |
diff |
annotate
|
| Sun, 03 Jun 2018 20:37:16 +0200 |
wenzelm |
clarified signature: prefer Document.Snapshot;
|
file |
diff |
annotate
|
| Sun, 13 May 2018 16:26:01 +0200 |
wenzelm |
clarified implicit compression;
|
file |
diff |
annotate
|
| Fri, 11 May 2018 20:35:29 +0200 |
wenzelm |
guard result exports via export_pattern -- avoid bombing client via huge blobs;
|
file |
diff |
annotate
|
| Mon, 07 May 2018 19:40:55 +0200 |
wenzelm |
return exports as result for Isabelle server;
|
file |
diff |
annotate
|
| Sat, 24 Mar 2018 22:10:14 +0100 |
wenzelm |
clarified messages (amending 3e072441c96a);
|
file |
diff |
annotate
|
| Sat, 24 Mar 2018 20:45:30 +0100 |
wenzelm |
clarified theory node name;
|
file |
diff |
annotate
|
| Fri, 23 Mar 2018 23:31:59 +0100 |
wenzelm |
added command "purge_theories";
|
file |
diff |
annotate
|
| Fri, 23 Mar 2018 22:53:32 +0100 |
wenzelm |
clarified signature -- eliminated somewhat pointless positions;
|
file |
diff |
annotate
|
| Fri, 23 Mar 2018 22:31:50 +0100 |
wenzelm |
removed somewhat pointless argument;
|
file |
diff |
annotate
|
| Fri, 23 Mar 2018 14:04:50 +0100 |
wenzelm |
field "kind" is always present, with default "writeln";
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 17:05:06 +0100 |
wenzelm |
provide tmp_dir for server session;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 16:39:22 +0100 |
wenzelm |
clarified exported messages, e.g. suppress "information", "tracing";
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 16:20:53 +0100 |
wenzelm |
clarified signature: prefer selective include_sessions;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 15:11:14 +0100 |
wenzelm |
clarified signature: more uniform session_id;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 14:57:42 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 22 Mar 2018 14:42:14 +0100 |
wenzelm |
clarified signature: do not expose somewhat accidental internal options;
|
file |
diff |
annotate
|
| Wed, 21 Mar 2018 21:31:40 +0100 |
wenzelm |
clarified result;
|
file |
diff |
annotate
|
| Wed, 21 Mar 2018 19:26:50 +0100 |
wenzelm |
clarified error result, without JSON object from "session_build";
|
file |
diff |
annotate
|
| Wed, 21 Mar 2018 17:55:17 +0100 |
wenzelm |
clarified result;
|
file |
diff |
annotate
|
| Sun, 18 Mar 2018 12:11:30 +0100 |
wenzelm |
more explicit error messages;
|
file |
diff |
annotate
|
| Sun, 18 Mar 2018 11:42:57 +0100 |
wenzelm |
more explicit errors;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2018 20:49:28 +0100 |
wenzelm |
output result messages;
|
file |
diff |
annotate
|
| Sat, 17 Mar 2018 15:10:50 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 22:50:56 +0100 |
wenzelm |
prefer typed UUID;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 22:20:09 +0100 |
wenzelm |
unload_theories after consolidation -- reset node_required;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 18:42:35 +0100 |
wenzelm |
support for "use_theories";
|
file |
diff |
annotate
|
| Fri, 16 Mar 2018 15:43:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 22:17:56 +0100 |
wenzelm |
store session: per Server/Context, not Connection;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 21:26:39 +0100 |
wenzelm |
support for "session_start";
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 11:20:17 +0100 |
wenzelm |
clarified default;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 11:16:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 14 Mar 2018 20:29:46 +0100 |
wenzelm |
asynchronous "session_build";
|
file |
diff |
annotate
|
| Wed, 14 Mar 2018 17:43:30 +0100 |
wenzelm |
more informative JSON results;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 21:22:02 +0100 |
wenzelm |
more options;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 21:04:42 +0100 |
wenzelm |
allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 20:02:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 19:34:42 +0100 |
wenzelm |
added server command "session_build": similar to JEdit_Resources.session_build;
|
file |
diff |
annotate
|