12 months ago wenzelm 2017-11-04 polyml-test version based on experimental branch NewTestRegisterSave;
12 months ago wenzelm 2017-11-03 support for libgmp on x86_64-darwin;
12 months ago wenzelm 2017-11-03 avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
12 months ago wenzelm 2017-11-03 delegate boundary cases to existing IntInf.pow;
12 months ago wenzelm 2017-11-03 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
12 months ago wenzelm 2017-11-03 tuned (non-unique example);
12 months ago wenzelm 2017-11-03 clarified situation of global theory names;
12 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
12 months ago wenzelm 2017-11-02 proper deps;
12 months ago wenzelm 2017-11-02 allow unrelated ancestor; clarified error;
12 months ago wenzelm 2017-11-02 tuned;
12 months ago wenzelm 2017-11-02 support alternative ancestor session;
12 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
12 months ago wenzelm 2017-11-01 more timing;
12 months ago wenzelm 2017-11-01 tuned;
12 months ago wenzelm 2017-11-01 init only once (see also c0f776b661fa);
12 months ago wenzelm 2017-11-01 proper merge (amending fb46c031c841);
12 months ago wenzelm 2017-11-01 build faster without heap images for minor imports;
12 months ago wenzelm 2017-11-01 proper order for entries from multiple profiles, notably "AFP";
12 months ago wenzelm 2017-11-01 tuned output;
12 months ago wenzelm 2017-11-01 tuned;
12 months ago wenzelm 2017-11-01 logic_selector refers to raw logic name;
12 months ago wenzelm 2017-11-01 clarified terminology;
12 months ago wenzelm 2017-11-01 tuned signature;
12 months ago wenzelm 2017-11-01 do not store bulky Session.Deps;
12 months ago wenzelm 2017-11-01 avoid duplicate invocation of expensive Sessions.deps on full_sessions; tuned;
12 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
12 months ago wenzelm 2017-11-01 no heap sharing for empty session (e.g. HOL-ODE);
12 months ago wenzelm 2017-11-01 tuned diagram;
12 months ago wenzelm 2017-11-01 clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
12 months ago wenzelm 2017-10-31 removed unused option, which is potentially expensive;
12 months ago wenzelm 2017-10-31 allow to augment session context via explicit session infos; more compact required_session interface;
12 months ago wenzelm 2017-10-31 synthesize session with all required theories from other session imports;
12 months ago wenzelm 2017-10-31 clarified signature;
12 months ago wenzelm 2017-10-31 clarified signature;
12 months ago wenzelm 2017-10-31 clarified signature;
12 months ago wenzelm 2017-10-31 clarified signature;
12 months ago wenzelm 2017-10-31 clarified signature: global_theories is always required;
12 months ago wenzelm 2017-10-31 tuned;
12 months ago wenzelm 2017-10-31 tuned signature;
12 months ago wenzelm 2017-10-31 clarified modules;
12 months ago wenzelm 2017-10-31 minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
12 months ago wenzelm 2017-10-31 more permissive: db could be empty after hard crash;
12 months ago wenzelm 2017-10-31 no censorship (in contrast to 2c828c830ad7);
12 months ago paulson 2017-10-31 A few more topological results. And made some slow proofs faster
12 months ago haftmann 2017-10-31 removed ancient nat-int transfer
12 months ago haftmann 2017-10-30 added lemma
12 months ago blanchet 2017-10-30 added 'mlex_iff' lemma and simplified proof
12 months ago wenzelm 2017-10-30 merged
12 months ago wenzelm 2017-10-30 recovered document from 9bfb6978eb80;
12 months ago wenzelm 2017-10-30 NEWS;
12 months ago wenzelm 2017-10-30 obsolete;
12 months ago wenzelm 2017-10-30 tuned;
12 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
12 months ago wenzelm 2017-10-30 eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document;
12 months ago wenzelm 2017-10-30 more informative timeout message, notably for build_status;
12 months ago wenzelm 2017-10-30 clarified: adapted to ML version;
12 months ago wenzelm 2017-10-30 proper order of initialization (amending 9953ae603a23);
12 months ago paulson 2017-10-30 More topological results overlooked last time
12 months ago paulson 2017-10-30 merged