8 months ago wenzelm 2017-12-04 tuned signature;
8 months ago wenzelm 2017-12-04 added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit;
8 months ago wenzelm 2017-12-04 clarified control style;
8 months ago wenzelm 2017-12-04 font style for literal control symbols, notably for antiquotations;
8 months ago wenzelm 2017-12-04 tuned;
8 months ago wenzelm 2017-12-04 tuned comments;
8 months ago nipkow 2017-12-04 more lemmas
8 months ago wenzelm 2017-12-03 misc tuning and modernization;
8 months ago wenzelm 2017-12-03 simplified session (again, see 39e29972cb96): WordExamples requires < 1s;
8 months ago wenzelm 2017-12-03 tuned;
8 months ago wenzelm 2017-12-03 misc tuning and modernization;
8 months ago wenzelm 2017-12-03 discontinued old 'def' command;
8 months ago haftmann 2017-12-02 more simplification rules
8 months ago haftmann 2017-12-02 overhauling of primes
8 months ago haftmann 2017-12-02 cleaned up and tuned
8 months ago haftmann 2017-12-02 generalized more lemmas
8 months ago wenzelm 2017-12-01 tuned output;
8 months ago wenzelm 2017-12-01 more operations;
8 months ago wenzelm 2017-12-01 removed inaccessible blobs from Document.Nodes;
8 months ago wenzelm 2017-12-01 more accurate JSON parsing according to http://seriot.ch/parsing_json.php
8 months ago wenzelm 2017-12-01 purge hidden nodes more thoroughly: is_hidden may become true only later;
8 months ago wenzelm 2017-12-01 proper synchronized Map: this may be used on multiple threads;
8 months ago eberlm 2017-11-30 bij_betw lemma for prime powers
8 months ago eberlm 2017-11-30 Existence of a holomorphic logarithm
8 months ago wenzelm 2017-11-29 tuned;
8 months ago wenzelm 2017-11-29 clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform;
8 months ago wenzelm 2017-11-28 clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
8 months ago wenzelm 2017-11-27 clarified description for mixed Mavericks / El Capitan system;
8 months ago wenzelm 2017-11-27 updated documentation;
8 months ago wenzelm 2017-11-27 prefer formal $POLYML_EXE;
8 months ago wenzelm 2017-11-27 clarified main sessions;
8 months ago wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
8 months ago wenzelm 2017-11-27 suppress warning;
8 months ago wenzelm 2017-11-27 retain files in Pure.thy, notably $POLYML_EXE;
8 months ago wenzelm 2017-11-27 proper context (as in 'term' command);
8 months ago wenzelm 2017-11-27 proper treatment of multi-line cartouche as rudiment of antiquotation, e.g. relevant for syntax-highlighting in Isabelle/jEdit;
8 months ago wenzelm 2017-11-27 more symbols;
8 months ago wenzelm 2017-11-27 prefer Input.source (via cartouche);
8 months ago wenzelm 2017-11-27 updated documentation: JVM is always 64bit;
8 months ago wenzelm 2017-11-26 more symbols;
8 months ago wenzelm 2017-11-26 clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps;
8 months ago wenzelm 2017-11-25 macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
8 months ago wenzelm 2017-11-25 Mac OS X 10.10 Yosemite is baseline;
9 months ago haftmann 2017-11-23 generalized more lemmas
9 months ago haftmann 2017-11-23 tuned
9 months ago haftmann 2017-11-23 tuned and generalized
9 months ago haftmann 2017-11-23 tuned
9 months ago haftmann 2017-11-23 new simp rule
9 months ago eberlm 2017-11-21 Facts about complex n-th roots
9 months ago nipkow 2017-11-21 more lemmas
9 months ago wenzelm 2017-11-19 macbroy2 is inactive: system update;
9 months ago nipkow 2017-11-17 tuned
9 months ago haftmann 2017-11-16 removed overambitious simp rules from e7e54a0b9197
9 months ago Lars Hupel 2017-11-14 merged
9 months ago Lars Hupel 2017-11-14 instantiation char :: full_exhaustive by Andreas Lochbihler
9 months ago wenzelm 2017-11-14 avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
9 months ago wenzelm 2017-11-14 slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
9 months ago nipkow 2017-11-14 merged
9 months ago nipkow 2017-11-14 merged
9 months ago nipkow 2017-11-14 tuned