src/Doc/System/Server.thy
15 months ago ago clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
15 months ago ago tuned documentation;
15 months ago ago more detailed node_status;
15 months ago ago more explicit status for "canceled" command within theory node;
15 months ago ago optional notification of nodes_status (via progress);
16 months ago ago clarified documentation;
16 months ago ago added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination);
17 months ago ago clarified settings -- avoid hard-wired directories;
17 months ago ago tuned;
18 months ago ago more node status information;
18 months ago ago prefer HTTPS;
18 months ago ago clarified store directories;
19 months ago ago guard result exports via export_pattern -- avoid bombing client via huge blobs;
19 months ago ago proper heading;
19 months ago ago return exports as result for Isabelle server;
20 months ago ago session tmp_dir is default master_dir;
20 months ago ago tuned;
20 months ago ago clarified theory node name;
20 months ago ago added command "purge_theories";
20 months ago ago clarified signature -- eliminated somewhat pointless positions;
20 months ago ago clarified;
20 months ago ago removed somewhat pointless argument;
20 months ago ago field "kind" is always present, with default "writeln";
20 months ago ago tuned;
20 months ago ago provide tmp_dir for server session;
20 months ago ago clarified exported messages, e.g. suppress "information", "tracing";
20 months ago ago clarified signature: prefer selective include_sessions;
20 months ago ago clarified signature: more uniform session_id;
20 months ago ago clarified signature;
20 months ago ago clarified signature: do not expose somewhat accidental internal options;
20 months ago ago misc tuning and clarification;
20 months ago ago more documentation;
20 months ago ago documentation for the Isabelle server;