18 months ago wenzelm 2017-11-01 proper merge (amending fb46c031c841);
18 months ago wenzelm 2017-11-01 build faster without heap images for minor imports;
18 months ago wenzelm 2017-11-01 proper order for entries from multiple profiles, notably "AFP";
18 months ago wenzelm 2017-11-01 tuned output;
18 months ago wenzelm 2017-11-01 tuned;
18 months ago wenzelm 2017-11-01 logic_selector refers to raw logic name;
18 months ago wenzelm 2017-11-01 clarified terminology;
18 months ago wenzelm 2017-11-01 tuned signature;
18 months ago wenzelm 2017-11-01 do not store bulky Session.Deps;
18 months ago wenzelm 2017-11-01 avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
18 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
18 months ago wenzelm 2017-11-01 no heap sharing for empty session (e.g. HOL-ODE);
18 months ago wenzelm 2017-11-01 tuned diagram;
18 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
18 months ago wenzelm 2017-10-31 removed unused option, which is potentially expensive;
18 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
18 months ago wenzelm 2017-10-31 synthesize session with all required theories from other session imports;
18 months ago wenzelm 2017-10-31 clarified signature;
18 months ago wenzelm 2017-10-31 clarified signature;
18 months ago wenzelm 2017-10-31 clarified signature;
18 months ago wenzelm 2017-10-31 clarified signature;
18 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
18 months ago wenzelm 2017-10-31 tuned;
18 months ago wenzelm 2017-10-31 tuned signature;
18 months ago wenzelm 2017-10-31 clarified modules;
18 months ago wenzelm 2017-10-31 minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
18 months ago wenzelm 2017-10-31 more permissive: db could be empty after hard crash;
18 months ago wenzelm 2017-10-31 no censorship (in contrast to 2c828c830ad7);
18 months ago paulson 2017-10-31 A few more topological results. And made some slow proofs faster
18 months ago haftmann 2017-10-31 removed ancient nat-int transfer
19 months ago haftmann 2017-10-30 added lemma
19 months ago blanchet 2017-10-30 added 'mlex_iff' lemma and simplified proof
19 months ago wenzelm 2017-10-30 merged
19 months ago wenzelm 2017-10-30 recovered document from 9bfb6978eb80;
19 months ago wenzelm 2017-10-30 NEWS;
19 months ago wenzelm 2017-10-30 obsolete;
19 months ago wenzelm 2017-10-30 tuned;
19 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
19 months ago wenzelm 2017-10-30 eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
19 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
19 months ago wenzelm 2017-10-30 clarified: adapted to ML version;
19 months ago wenzelm 2017-10-30 proper order of initialization (amending 9953ae603a23);
19 months ago paulson 2017-10-30 More topological results overlooked last time
19 months ago paulson 2017-10-30 merged
19 months ago paulson 2017-10-30 New results in topology, mostly from HOL Light's moretop.ml
19 months ago haftmann 2017-10-30 generalized some lemmas on multisets
19 months ago haftmann 2017-10-30 rule out pathologic instances
19 months ago haftmann 2017-10-30 tuned some proofs and added some lemmas
19 months ago wenzelm 2017-10-29 more recent polyml-test version;
19 months ago nipkow 2017-10-29 reduced simp_depth_limit
19 months ago immler 2017-10-28 generalized
19 months ago wenzelm 2017-10-28 reduced heap hierarchy, for potentially improved performance;
19 months ago wenzelm 2017-10-28 deactivated old tests;
19 months ago wenzelm 2017-10-28 avoid slow proofs due to simp rules from 960509bfd47e;
19 months ago wenzelm 2017-10-27 some concrete commands; clarified messages;
19 months ago wenzelm 2017-10-27 tuned signature;
19 months ago wenzelm 2017-10-27 more formal messages;
19 months ago wenzelm 2017-10-27 tuned signature;
19 months ago wenzelm 2017-10-27 separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;
19 months ago wenzelm 2017-10-27 more permissive;