12 months ago wenzelm 2018-03-24 clarified signature;
12 months ago wenzelm 2018-03-24 clarified messages (amending 3e072441c96a);
12 months ago wenzelm 2018-03-24 session tmp_dir is default master_dir;
12 months ago wenzelm 2018-03-24 tuned output;
12 months ago wenzelm 2018-03-24 tuned;
12 months ago wenzelm 2018-03-24 clarified theory node name; purge_theories: return purged, retained; tuned documentation;
12 months ago nipkow 2018-03-24 added lemma
13 months ago wenzelm 2018-03-23 added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
13 months ago wenzelm 2018-03-23 clarified signature -- eliminated somewhat pointless positions;
13 months ago wenzelm 2018-03-23 clarified signature -- more like use_theories;
13 months ago wenzelm 2018-03-23 clarified;
13 months ago wenzelm 2018-03-23 removed somewhat pointless argument;
13 months ago wenzelm 2018-03-23 support for purge_theories;
13 months ago wenzelm 2018-03-23 clarified signature;
13 months ago wenzelm 2018-03-23 tuned;
13 months ago wenzelm 2018-03-23 more robust timing info: do not rely on order of markup;
13 months ago wenzelm 2018-03-23 clarified signature;
13 months ago wenzelm 2018-03-23 field "kind" is always present, with default "writeln";
13 months ago nipkow 2018-03-23 merged
13 months ago nipkow 2018-03-23 eliminated "elems"
13 months ago haftmann 2018-03-23 NEWS and CONTRIBUTORS
13 months ago wenzelm 2018-03-22 tuned;
13 months ago wenzelm 2018-03-22 merged
13 months ago wenzelm 2018-03-22 provide tmp_dir for server session;
13 months ago wenzelm 2018-03-22 clarified signature: flexible base_dir;
13 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;
13 months ago wenzelm 2018-03-22 clarified signature: prefer selective include_sessions;
13 months ago wenzelm 2018-03-22 clarified signature: more uniform session_id;
13 months ago wenzelm 2018-03-22 clarified signature;
13 months ago wenzelm 2018-03-22 clarified signature: do not expose somewhat accidental internal options;
13 months ago wenzelm 2018-03-22 misc tuning and clarification;
13 months ago wenzelm 2018-03-21 more documentation;
13 months ago wenzelm 2018-03-21 clarified result;
13 months ago wenzelm 2018-03-21 tuned;
13 months ago wenzelm 2018-03-21 clarified error result, without JSON object from "session_build"; clarified regular result;
13 months ago wenzelm 2018-03-21 proper order of matches: Server.Error is an instance of Exn.ERROR;
13 months ago wenzelm 2018-03-21 clarified result;
13 months ago wenzelm 2018-03-21 clarified markup according to common Command.Results;
13 months ago nipkow 2018-03-22 make baliL and baliR symmetric
13 months ago haftmann 2018-03-21 proof of concept for algebraically founded bit lists
13 months ago haftmann 2018-03-21 tuned proof
13 months ago haftmann 2018-03-21 prefer convention to place operation name before type name
13 months ago haftmann 2018-03-20 more lemmas
13 months ago haftmann 2018-03-20 generalized
13 months ago wenzelm 2018-03-19 documentation for the Isabelle server;
13 months ago wenzelm 2018-03-19 clarified message name: disallow single quote;
13 months ago wenzelm 2018-03-18 clarified server shutdown: stop all sessions;
13 months ago wenzelm 2018-03-18 more explicit error messages; clarified signature;
13 months ago wenzelm 2018-03-18 more explicit errors; tuned;
13 months ago kleing 2018-03-17 additional Eisbach combinators and utility methods (by Daniel Matichuck)
13 months ago wenzelm 2018-03-17 fewer messages;
13 months ago wenzelm 2018-03-17 output result messages;
13 months ago wenzelm 2018-03-17 clarified signature;
13 months ago wenzelm 2018-03-17 more position information;
13 months ago wenzelm 2018-03-17 more robust check_state loop, even without session activity (e.g. idempotent use_theories);
13 months ago wenzelm 2018-03-17 synchronized Session.update;
13 months ago wenzelm 2018-03-17 more interruptible use_theories; tuned comments;
13 months ago wenzelm 2018-03-17 clarified exception handling: include interrupts;
13 months ago wenzelm 2018-03-17 support for repeated events;
13 months ago wenzelm 2018-03-17 tuned;