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;
16 months ago wenzelm 2018-03-14 more informative JSON results;
16 months ago wenzelm 2018-03-14 more informative error with JSON result; tuned signature;
16 months ago wenzelm 2018-03-14 tuned signature;
16 months ago wenzelm 2018-03-14 misc tuning and clarification;
16 months ago wenzelm 2018-03-13 publish current log file, e.g. for easy error detection;
16 months ago wenzelm 2018-03-13 more options;
16 months ago wenzelm 2018-03-13 allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");
16 months ago wenzelm 2018-03-13 tuned;
16 months ago wenzelm 2018-03-13 tuned signature;
16 months ago wenzelm 2018-03-13 merged
16 months ago wenzelm 2018-03-13 added server command "session_build": similar to JEdit_Resources.session_build;
16 months ago wenzelm 2018-03-13 tuned signature;
16 months ago wenzelm 2018-03-13 tuned;
16 months ago wenzelm 2018-03-13 more flexible preferences: avoid hardwired file; tuned signature;
16 months ago wenzelm 2018-03-13 tuned;
16 months ago wenzelm 2018-03-13 more operations for typed JSON values;
16 months ago wenzelm 2018-03-13 clarified signature;
16 months ago wenzelm 2018-03-12 clarified signature;
16 months ago wenzelm 2018-03-12 tuned signature; tuned output;