2016-10-05 wenzelm 2016-10-05 more date and time operations from Java 8;
2016-10-05 wenzelm 2016-10-05 proper imports;
2016-10-05 wenzelm 2016-10-05 clarified modules;
2016-10-05 wenzelm 2016-10-05 more operations;
2016-10-05 wenzelm 2016-10-05 added multicore_base option;
2016-10-05 wenzelm 2016-10-05 allow multiple threads configurations;
2016-10-05 wenzelm 2016-10-05 tuned;
2016-10-05 wenzelm 2016-10-05 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 clean output dir for fresh rebuild; clarified echo;
2016-10-05 wenzelm 2016-10-05 allow multiline script;
2016-10-05 wenzelm 2016-10-05 clarified sanity checks;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-04 wenzelm 2016-10-04 historic workaround according to 22630327408b;
2016-10-04 wenzelm 2016-10-04 more thorought update of components;
2016-10-04 wenzelm 2016-10-04 check session name;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-04 wenzelm 2016-10-04 tuned error;
2016-10-04 wenzelm 2016-10-04 earlier build_history_base: timing properties in log are introduced here;
2016-10-04 wenzelm 2016-10-04 incremental output; tuned;
2016-10-04 wenzelm 2016-10-04 clarified output;
2016-10-04 wenzelm 2016-10-04 clarified heap options;
2016-10-04 wenzelm 2016-10-04 proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
2016-10-04 wenzelm 2016-10-04 more ambitious default as in former isatest;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-04 wenzelm 2016-10-04 tuned;
2016-10-04 wenzelm 2016-10-04 more sanity checks;
2016-10-04 wenzelm 2016-10-04 more options for generated settings;
2016-10-03 wenzelm 2016-10-03 more robust build_history_base;
2016-10-03 wenzelm 2016-10-03 more robust;
2016-10-03 wenzelm 2016-10-03 proper log output;
2016-10-03 wenzelm 2016-10-03 clarified command line; clarified result;
2016-10-03 wenzelm 2016-10-03 clarified command-line; init settings and components;
2016-10-03 wenzelm 2016-10-03 more operations;
2016-10-03 wenzelm 2016-10-03 more formal build_history_base;
2016-10-03 wenzelm 2016-10-03 clarified cold-start environment;
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;
2016-10-03 wenzelm 2016-10-03 clarified: a variant of -i is the default, but its output is not as precise as it might seem;
2016-10-05 nipkow 2016-10-05 merged
2016-10-05 nipkow 2016-10-05 replaced floorlog by floor/ceiling(log .)
2016-10-05 fleury 2016-10-05 more multiset simp rules
2016-10-05 fleury 2016-10-05 tuned proof -- much faster
2016-10-03 haftmann 2016-10-03 proof of concept for algebraically founded word types
2016-10-03 haftmann 2016-10-03 more lemmas
2016-10-03 haftmann 2016-10-03 option to report results of solve_direct as explicit warnings
2016-10-03 haftmann 2016-10-03 modernized option
2016-10-03 haftmann 2016-10-03 CONTRIBUTORS
2016-10-03 hoelzl 2016-10-03 Probability: move some theorems from AFP/Density_Compiler
2016-10-03 hoelzl 2016-10-03 Probability: variant of central limit theorem with non-zero mean
2016-09-30 hoelzl 2016-09-30 HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-10-03 paulson 2016-10-03 Merge
2016-10-03 paulson 2016-10-03 new theorems including the theory FurtherTopology
2016-10-03 wenzelm 2016-10-03 clarified magic values (see also java/io/BufferedInputStream.java);
2016-10-03 wenzelm 2016-10-03 clarified stream operations; added XZ data compression;
2016-10-03 wenzelm 2016-10-03 tuned signature;
2016-10-03 wenzelm 2016-10-03 clarified modules; afford explicit string composition in terminate_lines;
2016-10-03 wenzelm 2016-10-03 more general read_stream: return actual byte count;
2016-10-02 wenzelm 2016-10-02 clarified modules;
2016-10-02 wenzelm 2016-10-02 more operations;
2016-10-02 wenzelm 2016-10-02 more operations;
2016-10-02 wenzelm 2016-10-02 more formal Mercurial support (with the potential to upgrade to command server);