2017-11-26 wenzelm 2017-11-26 clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps;
2017-11-25 wenzelm 2017-11-25 macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
2017-11-25 wenzelm 2017-11-25 Mac OS X 10.10 Yosemite is baseline;
2017-11-23 haftmann 2017-11-23 generalized more lemmas
2017-11-23 haftmann 2017-11-23 tuned
2017-11-23 haftmann 2017-11-23 tuned and generalized
2017-11-23 haftmann 2017-11-23 tuned
2017-11-23 haftmann 2017-11-23 new simp rule
2017-11-21 eberlm 2017-11-21 Facts about complex n-th roots
2017-11-21 nipkow 2017-11-21 more lemmas
2017-11-19 wenzelm 2017-11-19 macbroy2 is inactive: system update;
2017-11-17 nipkow 2017-11-17 tuned
2017-11-16 haftmann 2017-11-16 removed overambitious simp rules from e7e54a0b9197
2017-11-14 Lars Hupel 2017-11-14 merged
2017-11-14 Lars Hupel 2017-11-14 instantiation char :: full_exhaustive by Andreas Lochbihler
2017-11-14 wenzelm 2017-11-14 avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
2017-11-14 wenzelm 2017-11-14 slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
2017-11-14 nipkow 2017-11-14 merged
2017-11-14 nipkow 2017-11-14 merged
2017-11-14 nipkow 2017-11-14 tuned
2017-11-14 wenzelm 2017-11-14 removed pointless user_home: no measurable impact;
2017-11-13 wenzelm 2017-11-13 init Mercurial repository for the generated session files;
2017-11-13 wenzelm 2017-11-13 more operations;
2017-11-13 wenzelm 2017-11-13 tuned signature;
2017-11-13 wenzelm 2017-11-13 proper ssh.bash_path;
2017-11-13 wenzelm 2017-11-13 more operations;
2017-11-12 wenzelm 2017-11-12 synchronous use_theories, based on consolidated_state;
2017-11-12 wenzelm 2017-11-12 clarified modules;
2017-11-12 wenzelm 2017-11-12 optional session_base, e.g. from existing Sessions.Deps in build.scala;
2017-11-12 wenzelm 2017-11-12 synchronous session start (similar to isabelle.vscode.Server);
2017-11-12 wenzelm 2017-11-12 tuned signature (again, see 1a9e2a2bf251);
2017-11-12 wenzelm 2017-11-12 tuned signature;
2017-11-12 wenzelm 2017-11-12 simplified: eliminated pointless Thy_Document_Model;
2017-11-12 wenzelm 2017-11-12 theory nodes are never visible: avoid prints, which are not covered by node_consolidated;
2017-11-12 wenzelm 2017-11-12 load theories via PIDE document update; theory nodes are always required;
2017-11-12 wenzelm 2017-11-12 tuned signature;
2017-11-12 wenzelm 2017-11-12 PIDE resources for theory files;
2017-11-12 wenzelm 2017-11-12 tuned;
2017-11-12 wenzelm 2017-11-12 tuned signature;
2017-11-11 haftmann 2017-11-11 dedicated definition for coprimality
2017-11-11 haftmann 2017-11-11 more induct rules on nat
2017-11-11 wenzelm 2017-11-11 avoid download of components;
2017-11-11 wenzelm 2017-11-11 local user_home for improved performance, but only after given changeset for stability of measurement history;
2017-11-11 wenzelm 2017-11-11 support alternative USER_HOME directory;
2017-11-11 wenzelm 2017-11-11 clarified settings environment;
2017-11-11 wenzelm 2017-11-11 tuned signature;
2017-11-11 wenzelm 2017-11-11 tuned;
2017-11-11 wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
2017-11-11 wenzelm 2017-11-11 adapted to changed ROOT syntax (see 13857f49d215); discontinued pointless option -d: always enabled;
2017-11-11 wenzelm 2017-11-11 converted to Isabelle/Scala;
2017-11-10 nipkow 2017-11-10 replaced raw proof blocks by local lemmas
2017-11-09 nipkow 2017-11-09 Replaced Raw Proof Blocks by Local Lemmas
2017-11-09 nipkow 2017-11-09 tuned
2017-11-08 nipkow 2017-11-08 merged
2017-11-08 nipkow 2017-11-08 corrected priority
2017-11-08 wenzelm 2017-11-08 merged
2017-11-08 wenzelm 2017-11-08 formal dependency on "poly" executable;
2017-11-08 wenzelm 2017-11-08 removed obsolete workaround: always use existing IntInf.pow;
2017-11-08 Lars Hupel 2017-11-08 strip some trailing spaces to force Pure rebuild after ce6454669360
2017-11-07 wenzelm 2017-11-07 merged