src/Doc/System/Server.thy
15 months ago wenzelm 2018-03-24 tuned;
15 months ago wenzelm 2018-03-24 clarified theory node name; purge_theories: return purged, retained; tuned documentation;
16 months ago wenzelm 2018-03-23 added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
16 months ago wenzelm 2018-03-23 clarified signature -- eliminated somewhat pointless positions;
16 months ago wenzelm 2018-03-23 clarified;
16 months ago wenzelm 2018-03-23 removed somewhat pointless argument;
16 months ago wenzelm 2018-03-23 field "kind" is always present, with default "writeln";
16 months ago wenzelm 2018-03-22 tuned;
16 months ago wenzelm 2018-03-22 provide tmp_dir for server session;
16 months ago wenzelm 2018-03-22 clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;
16 months ago wenzelm 2018-03-22 clarified signature: prefer selective include_sessions;
16 months ago wenzelm 2018-03-22 clarified signature: more uniform session_id;
16 months ago wenzelm 2018-03-22 clarified signature;
16 months ago wenzelm 2018-03-22 clarified signature: do not expose somewhat accidental internal options;
16 months ago wenzelm 2018-03-22 misc tuning and clarification;
16 months ago wenzelm 2018-03-21 more documentation;
16 months ago wenzelm 2018-03-19 documentation for the Isabelle server;