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-21 clarified result;
16 months ago wenzelm 2018-03-21 tuned;
16 months ago wenzelm 2018-03-21 clarified error result, without JSON object from "session_build"; clarified regular result;
16 months ago wenzelm 2018-03-21 proper order of matches: Server.Error is an instance of Exn.ERROR;
16 months ago wenzelm 2018-03-21 clarified result;
16 months ago wenzelm 2018-03-21 clarified markup according to common Command.Results;
16 months ago nipkow 2018-03-22 make baliL and baliR symmetric
16 months ago haftmann 2018-03-21 proof of concept for algebraically founded bit lists
16 months ago haftmann 2018-03-21 tuned proof
16 months ago haftmann 2018-03-21 prefer convention to place operation name before type name
16 months ago haftmann 2018-03-20 more lemmas
16 months ago haftmann 2018-03-20 generalized
16 months ago wenzelm 2018-03-19 documentation for the Isabelle server;
16 months ago wenzelm 2018-03-19 clarified message name: disallow single quote;
16 months ago wenzelm 2018-03-18 clarified server shutdown: stop all sessions;
16 months ago wenzelm 2018-03-18 more explicit error messages; clarified signature;
16 months ago wenzelm 2018-03-18 more explicit errors; tuned;
16 months ago kleing 2018-03-17 additional Eisbach combinators and utility methods (by Daniel Matichuck)
16 months ago wenzelm 2018-03-17 fewer messages;
16 months ago wenzelm 2018-03-17 output result messages;
16 months ago wenzelm 2018-03-17 clarified signature;
16 months ago wenzelm 2018-03-17 more position information;
16 months ago wenzelm 2018-03-17 more robust check_state loop, even without session activity (e.g. idempotent use_theories);
16 months ago wenzelm 2018-03-17 synchronized Session.update;
16 months ago wenzelm 2018-03-17 more interruptible use_theories; tuned comments;
16 months ago wenzelm 2018-03-17 clarified exception handling: include interrupts;
16 months ago wenzelm 2018-03-17 support for repeated events;
16 months ago wenzelm 2018-03-17 tuned;
16 months ago wenzelm 2018-03-17 more interruptible; tuned signature;
16 months ago wenzelm 2018-03-17 unload_theories: actually observe required state; misc tuning and clarification;
16 months ago wenzelm 2018-03-17 tuned signature;
16 months ago wenzelm 2018-03-16 prefer typed UUID;
16 months ago wenzelm 2018-03-16 unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);
16 months ago wenzelm 2018-03-16 support for "use_theories";
16 months ago wenzelm 2018-03-16 JSON representation for Position.T;
16 months ago wenzelm 2018-03-16 interruptible exploration of dependencies;
16 months ago wenzelm 2018-03-16 tuned signature;
16 months ago wenzelm 2018-03-16 clarified signature;
16 months ago wenzelm 2018-03-16 clarified signature;
16 months ago wenzelm 2018-03-16 tuned message;
16 months ago wenzelm 2018-03-16 proper options;
16 months ago wenzelm 2018-03-16 tuned options;
16 months ago wenzelm 2018-03-15 more comments;
16 months ago wenzelm 2018-03-15 tuned message -- more readable JSON;
16 months ago wenzelm 2018-03-15 more accurate isabelle_id: parent directory is not necessarily at tip;
16 months ago wenzelm 2018-03-15 store session: per Server/Context, not Connection; support for "session_stop";
16 months ago wenzelm 2018-03-15 clarified server log; tuned options;
16 months ago wenzelm 2018-03-15 support for "session_start";
16 months ago wenzelm 2018-03-15 updated user name;
16 months ago wenzelm 2018-03-15 clarified message;
16 months ago wenzelm 2018-03-15 clarified message;
16 months ago wenzelm 2018-03-15 more uniform id;
16 months ago wenzelm 2018-03-15 prefer non-strict defaults;
16 months ago wenzelm 2018-03-15 clarified default;
16 months ago wenzelm 2018-03-15 tuned;
16 months ago wenzelm 2018-03-14 asynchronous "session_build";
16 months ago wenzelm 2018-03-14 support for asynchronous tasks, with "cancel" command;
16 months ago wenzelm 2018-03-14 tuned signature;