even more on bit operations

more bit operation conversions

more rules for numeral conversions; more precise code setup for pred_numeral

tuned proofs and generalized some lemmas about limits

tuned some proofs

tuned some proofs about filters

clarified handling of stdout vs. stderr: the cronjob should normally be silent;

proper self_update of components -- do assume shared file-system;

updated to scala-2.12.5;

Merged

Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)

Added some simple facts about limits

added lemmas

clarified signature;

clarified messages (amending 3e072441c96a);

session tmp_dir is default master_dir;

tuned output;

tuned;

clarified theory node name; purge_theories: return purged, retained; tuned documentation;

added lemma

added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;

clarified signature -- eliminated somewhat pointless positions;

clarified signature -- more like use_theories;

clarified;

removed somewhat pointless argument;

support for purge_theories;

clarified signature;

tuned;

more robust timing info: do not rely on order of markup;

clarified signature;

field "kind" is always present, with default "writeln";

merged

eliminated "elems"

NEWS and CONTRIBUTORS

tuned;

merged

provide tmp_dir for server session;

clarified signature: flexible base_dir;

clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;

clarified signature: prefer selective include_sessions;

clarified signature: more uniform session_id;

clarified signature;

clarified signature: do not expose somewhat accidental internal options;

misc tuning and clarification;

more documentation;

clarified result;

tuned;

clarified error result, without JSON object from "session_build"; clarified regular result;

proper order of matches: Server.Error is an instance of Exn.ERROR;

clarified result;

clarified markup according to common Command.Results;

make baliL and baliR symmetric

proof of concept for algebraically founded bit lists

tuned proof

prefer convention to place operation name before type name

more lemmas

generalized

documentation for the Isabelle server;

clarified message name: disallow single quote;

clarified server shutdown: stop all sessions;

more explicit error messages; clarified signature;

more explicit errors; tuned;

additional Eisbach combinators and utility methods (by Daniel Matichuck)

fewer messages;

output result messages;

clarified signature;

more position information;

more robust check_state loop, even without session activity (e.g. idempotent use_theories);

synchronized Session.update;

more interruptible use_theories; tuned comments;

clarified exception handling: include interrupts;

support for repeated events;

tuned;

more interruptible; tuned signature;

unload_theories: actually observe required state; misc tuning and clarification;

tuned signature;

prefer typed UUID;

unload_theories after consolidation -- reset node_required; proper node_perspective (amending 0d8e4e777973);

support for "use_theories";

JSON representation for Position.T;

interruptible exploration of dependencies;

tuned signature;

clarified signature;

clarified signature;

tuned message;

proper options;

tuned options;

more comments;

tuned message -- more readable JSON;

more accurate isabelle_id: parent directory is not necessarily at tip;

store session: per Server/Context, not Connection; support for "session_stop";

clarified server log; tuned options;

support for "session_start";

updated user name;

clarified message;

clarified message;

more uniform id;

prefer non-strict defaults;

clarified default;

tuned;

asynchronous "session_build";

support for asynchronous tasks, with "cancel" command;

tuned signature;

more informative JSON results;

more informative error with JSON result; tuned signature;

tuned signature;

misc tuning and clarification;

publish current log file, e.g. for easy error detection;

more options;

allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");

tuned;

tuned signature;

merged

added server command "session_build": similar to JEdit_Resources.session_build;

tuned signature;

tuned;

more flexible preferences: avoid hardwired file; tuned signature;

tuned;

more operations for typed JSON values;

clarified signature;