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