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