2016-04-14 wenzelm 2016-04-14 background color for entity def/ref focus;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 more silence;
2016-04-14 wenzelm 2016-04-14 avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 clarified context;
2016-04-14 wenzelm 2016-04-14 misc tuning and standardization;
2016-04-14 wenzelm 2016-04-14 tuned headers;
2016-04-15 hoelzl 2016-04-15 fix HOL-Probability-ex
2016-04-14 hoelzl 2016-04-14 change is incompatible
2016-04-14 hoelzl 2016-04-14 Probability: move emeasure and nn_integral from ereal to ennreal
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 clarified modules;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;
2016-04-13 wenzelm 2016-04-13 merged
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-13 wenzelm 2016-04-13 clarified syntax;
2016-04-13 wenzelm 2016-04-13 more completions, independently on accidental external form (e.g. "Map.empty" with its redundant prefix);
2016-04-13 wenzelm 2016-04-13 tuned;
2016-04-13 wenzelm 2016-04-13 clarified syntax;
2016-04-13 wenzelm 2016-04-13 avoid quotes for qualified names;
2016-04-13 immler 2016-04-13 added rule
2016-04-12 wenzelm 2016-04-12 tuned;
2016-04-12 wenzelm 2016-04-12 merged
2016-04-12 wenzelm 2016-04-12 simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
2016-04-12 wenzelm 2016-04-12 back to static Mixfix.default_constraint without any special tricks (reverting e6443edaebff);
2016-04-12 wenzelm 2016-04-12 Type_Infer.object_logic controls improvement of type inference result;
2016-04-12 wenzelm 2016-04-12 tuned;
2016-04-11 wenzelm 2016-04-11 simplified constraints;
2016-04-11 wenzelm 2016-04-11 back to dummy constraints (amending dd2914250ca7): important for Syntax_Phases.get_free/is_declared;
2016-04-11 wenzelm 2016-04-11 tuned imports;
2016-04-11 wenzelm 2016-04-11 tuned message;
2016-04-11 wenzelm 2016-04-11 tuned;
2016-04-12 immler 2016-04-12 added lemmas
2016-04-12 immler 2016-04-12 generalized
2016-04-12 immler 2016-04-12 added derivative of scaling in exponential function
2016-04-11 paulson 2016-04-11 lots of new theorems for multivariate analysis
2016-04-10 wenzelm 2016-04-10 tuned;
2016-04-10 wenzelm 2016-04-10 tuned;
2016-04-10 wenzelm 2016-04-10 tuned comments;
2016-04-10 wenzelm 2016-04-10 more standard session build process, including browser_info; clarified final setup of global ML environment;
2016-04-10 wenzelm 2016-04-10 clarified files;
2016-04-10 wenzelm 2016-04-10 tuned;
2016-04-10 wenzelm 2016-04-10 proper support for recursive ML debugging;
2016-04-10 wenzelm 2016-04-10 tuned -- avoid recoding properties;
2016-04-09 wenzelm 2016-04-09 removed old proof method "default";
2016-04-09 wenzelm 2016-04-09 clean message more thoroughly;
2016-04-09 wenzelm 2016-04-09 clarified modules; removed unsed exn_id;
2016-04-09 wenzelm 2016-04-09 avoid interference with running PIDE protocol;
2016-04-09 wenzelm 2016-04-09 proper signature for structure; tuned;
2016-04-09 wenzelm 2016-04-09 tuned signature; proper signature for structure;
2016-04-09 wenzelm 2016-04-09 proper output of markup, e.g. relevant for nested ML as used in Pure/System/bash.ML;
2016-04-09 wenzelm 2016-04-09 support ROOT0.ML as well -- independently of ROOT.ML;
2016-04-09 wenzelm 2016-04-09 flags as in 'ML' command;
2016-04-09 wenzelm 2016-04-09 shared output primitives of physical/virtual Pure;
2016-04-09 wenzelm 2016-04-09 shared thread position for physical/virtual Pure;
2016-04-09 wenzelm 2016-04-09 prefer Synchronized.var;
2016-04-09 wenzelm 2016-04-09 tuned signature;