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