17 months ago paulson 2018-04-09 Syntax for the special cases Min(A`I) and Max (A`I)
17 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
17 months ago nipkow 2018-04-08 moved and renamed lemmas
17 months ago nipkow 2018-04-08 Added binary set operations with join-based implementation
17 months ago nipkow 2018-04-08 more name tuning
17 months ago nipkow 2018-04-08 better name; added binary operations
17 months ago nipkow 2018-04-07 tuned
17 months ago immler 2018-04-06 a first shot at tagging for HOL-Analysis manual
17 months ago haftmann 2018-04-05 even more on bit operations
17 months ago haftmann 2018-04-04 more bit operation conversions
17 months ago haftmann 2018-04-03 more rules for numeral conversions; more precise code setup for pred_numeral
18 months ago huffman 2018-03-28 tuned proofs and generalized some lemmas about limits
18 months ago huffman 2018-03-28 tuned some proofs
18 months ago huffman 2018-03-28 tuned some proofs about filters
18 months ago wenzelm 2018-03-28 clarified handling of stdout vs. stderr: the cronjob should normally be silent;
18 months ago wenzelm 2018-03-28 proper self_update of components -- do assume shared file-system;
18 months ago wenzelm 2018-03-27 updated to scala-2.12.5;
18 months ago Manuel Eberl 2018-03-26 Merged
18 months ago Manuel Eberl 2018-03-26 Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)
18 months ago Manuel Eberl 2018-03-26 Added some simple facts about limits
18 months ago nipkow 2018-03-26 added lemmas
18 months ago wenzelm 2018-03-24 clarified signature;
18 months ago wenzelm 2018-03-24 clarified messages (amending 3e072441c96a);
18 months ago wenzelm 2018-03-24 session tmp_dir is default master_dir;
18 months ago wenzelm 2018-03-24 tuned output;
18 months ago wenzelm 2018-03-24 tuned;
18 months ago wenzelm 2018-03-24 clarified theory node name; purge_theories: return purged, retained; tuned documentation;
18 months ago nipkow 2018-03-24 added lemma
18 months ago wenzelm 2018-03-23 added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
18 months ago wenzelm 2018-03-23 clarified signature -- eliminated somewhat pointless positions;
18 months ago wenzelm 2018-03-23 clarified signature -- more like use_theories;
18 months ago wenzelm 2018-03-23 clarified;
18 months ago wenzelm 2018-03-23 removed somewhat pointless argument;
18 months ago wenzelm 2018-03-23 support for purge_theories;
18 months ago wenzelm 2018-03-23 clarified signature;
18 months ago wenzelm 2018-03-23 tuned;
18 months ago wenzelm 2018-03-23 more robust timing info: do not rely on order of markup;
18 months ago wenzelm 2018-03-23 clarified signature;
18 months ago wenzelm 2018-03-23 field "kind" is always present, with default "writeln";
18 months ago nipkow 2018-03-23 merged
18 months ago nipkow 2018-03-23 eliminated "elems"
18 months ago haftmann 2018-03-23 NEWS and CONTRIBUTORS
18 months ago wenzelm 2018-03-22 tuned;
18 months ago wenzelm 2018-03-22 merged
18 months ago wenzelm 2018-03-22 provide tmp_dir for server session;
18 months ago wenzelm 2018-03-22 clarified signature: flexible base_dir;
18 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;
18 months ago wenzelm 2018-03-22 clarified signature: prefer selective include_sessions;
18 months ago wenzelm 2018-03-22 clarified signature: more uniform session_id;
18 months ago wenzelm 2018-03-22 clarified signature;
18 months ago wenzelm 2018-03-22 clarified signature: do not expose somewhat accidental internal options;
18 months ago wenzelm 2018-03-22 misc tuning and clarification;
18 months ago wenzelm 2018-03-21 more documentation;
18 months ago wenzelm 2018-03-21 clarified result;
18 months ago wenzelm 2018-03-21 tuned;
18 months ago wenzelm 2018-03-21 clarified error result, without JSON object from "session_build"; clarified regular result;
18 months ago wenzelm 2018-03-21 proper order of matches: Server.Error is an instance of Exn.ERROR;
18 months ago wenzelm 2018-03-21 clarified result;
18 months ago wenzelm 2018-03-21 clarified markup according to common Command.Results;
18 months ago nipkow 2018-03-22 make baliL and baliR symmetric