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