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