2015-11-03 wenzelm 2015-11-03 tuned;
2015-11-03 wenzelm 2015-11-03 prefer ad-hoc non-worker threads;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-11-03 wenzelm 2015-11-03 cancel already running request;
2015-11-03 eberlm 2015-11-03 added acknowledgement in Binomial.thy
2015-11-03 eberlm 2015-11-03 Merged
2015-11-02 eberlm 2015-11-02 Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
2015-11-02 blanchet 2015-11-02 don't pollute local theory with needless names
2015-11-02 blanchet 2015-11-02 allow selectors and discriminators with same name as type
2015-11-02 blanchet 2015-11-02 make sure that function types are never generated as '> @ A @ B', but always as 'A > B'
2015-11-02 wenzelm 2015-11-02 merged
2015-11-02 wenzelm 2015-11-02 avoid premature flushing and thus flashing of text area;
2015-11-02 wenzelm 2015-11-02 tuned whitespace;
2015-11-02 wenzelm 2015-11-02 clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);
2015-11-02 wenzelm 2015-11-02 redundant;
2015-11-02 wenzelm 2015-11-02 tuned whitespace;
2015-11-02 wenzelm 2015-11-02 tuned document;
2015-11-02 wenzelm 2015-11-02 tuned document;
2015-11-02 wenzelm 2015-11-02 tuned document;
2015-11-02 wenzelm 2015-11-02 isabelle update_cartouches -t;
2015-11-02 wenzelm 2015-11-02 avoid highlighted area getting "stuck" after edit;
2015-11-02 wenzelm 2015-11-02 clarified completion of Isabelle symbols within document source;
2015-11-02 wenzelm 2015-11-02 more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2);
2015-11-02 nipkow 2015-11-02 merged
2015-11-02 nipkow 2015-11-02 tuned names and optimized comparison order
2015-11-02 blanchet 2015-11-02 updated CVC4 component to deal with paths with whitespace
2015-11-02 eberlm 2015-11-02 Merged
2015-11-02 eberlm 2015-11-02 Rounding function, uniform limits, cotangent, binomial identities
2015-10-31 wenzelm 2015-10-31 merged
2015-10-31 wenzelm 2015-10-31 back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-31 wenzelm 2015-10-31 global start time as reference point;
2015-10-30 wenzelm 2015-10-30 tuned signature -- clarified modules;
2015-10-30 wenzelm 2015-10-30 obsolete (see 9c6346319eee, 7924d61b50cf);
2015-10-30 nipkow 2015-10-30 added splay trees
2015-10-29 eberlm 2015-10-29 added many small lemmas about setsum/setprod/powr/...
2015-10-27 wenzelm 2015-10-27 no icons here -- not a standalone window;
2015-10-27 wenzelm 2015-10-27 workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;
2015-10-27 wenzelm 2015-10-27 removed presumably obsolete workaround (see 7924d61b50cf);
2015-10-27 paulson 2015-10-27 Cauchy's integral formula, required lemmas, and a bit of reorganisation
2015-10-26 paulson 2015-10-26 merged
2015-10-26 paulson 2015-10-26 new lemmas about topology, etc., for Cauchy integral formula
2015-10-26 nipkow 2015-10-26 adapted to 436b7fe89cdc
2015-10-26 wenzelm 2015-10-26 clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display];
2015-10-25 nipkow 2015-10-25 added 234-trees (slow)
2015-10-25 nipkow 2015-10-25 added 234-Trees (slow)
2015-10-25 nipkow 2015-10-25 tuned
2015-10-24 wenzelm 2015-10-24 more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-23 wenzelm 2015-10-23 updated to jedit-5.3.0 and SideKick 1.8;
2015-10-23 wenzelm 2015-10-23 updated to jdk-8u66;
2015-10-23 wenzelm 2015-10-23 print thm wrt. local shyps (from full proof context); tuned;
2015-10-23 wenzelm 2015-10-23 clarified modules; tuned signature;
2015-10-23 wenzelm 2015-10-23 proper transfer of stored facts;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 more robust ASCII output: avoid ligatures of quotes;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-22 wenzelm 2015-10-22 clarified scan_cartouche_depth (amending 8284c0d5bf52): finish after outermost cartouche;
2015-10-21 wenzelm 2015-10-21 rendering for \<^verbatim>;
2015-10-21 wenzelm 2015-10-21 Isabelle fonts via external component;
2015-10-21 wenzelm 2015-10-21 tuned document;