NEWS
2017-01-04 ago tuned NEWS
2017-01-04 ago reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
2017-01-04 ago moved euclidean ring to HOL
2016-12-22 ago proper logical constants
2016-12-21 ago prefer existing logical constant over abbreviation
2016-12-21 ago dropped aliasses
2016-12-18 ago tuned whitespace;
2016-12-18 ago added isabelle jedit -R;
2016-12-17 ago reoriented congruence rules in non-explosive direction
2016-12-12 ago merged
2016-12-12 ago proper session HOL-Types_To_Sets;
2016-12-08 ago remove typo in bij_swap_compose_bij theorem name; tune proof
2016-11-29 ago don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful
2016-11-27 ago merged
2016-11-27 ago NEWS for e6a3c55b929b;
2016-11-24 ago clarified NEWS concerning Library/Poly_Deriv
2016-11-20 ago more on "Formal scopes and semantic selection";
2016-11-03 ago tuned
2016-11-03 ago tuned
2016-11-01 ago back to post-release mode -- after fork point;
2016-10-25 ago tuned;
2016-10-25 ago misc tuning for release;
2016-10-24 ago added Nunchaku integration
2016-10-24 ago Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
2016-10-22 ago regular user tool;
2016-10-20 ago tuned
2016-10-18 ago NEWS
2016-10-19 ago merged
2016-10-19 ago added system option "profiling";
2016-10-18 ago suitable logical type class for abs, sgn
2016-10-17 ago NEWS;
2016-10-17 ago re-use "threads" for --gcthreads;
2016-10-16 ago isabelle build -N;
2016-10-16 ago eliminated irregular aliasses
2016-10-16 ago clarified theorem names
2016-10-16 ago eliminated irregular aliasses
2016-10-16 ago more standardized theorem names for facts involving the div and mod identity
2016-10-16 ago more standardized names
2016-10-10 ago invariance of domain
2016-10-08 ago dedicated syntax for types with a length
2016-10-08 ago clarifying NEWS file
2016-10-07 ago tuning multisets
2016-10-07 ago Set_Permutations -> Multiset_Permutations in NEWS
2016-10-07 ago moved to proper release (cf. 4a72b37ac4b8);
2016-10-07 ago updated for release;
2016-10-03 ago option to report results of solve_direct as explicit warnings
2016-10-02 ago added isabelle_java cold-start executable;
2016-10-02 ago just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
2016-10-01 ago options for process policy, notably for multiprocessor machines;
2016-10-01 ago clarified lfp/gfp statements and proofs;
2016-10-01 ago misc tuning for release;
2016-09-30 ago new material on paths, etc. Also rationalisation
2016-09-29 ago NEWS: new proof method "argo"
2016-09-26 ago syntactic type class for operation mod named after mod;
2016-09-26 ago spelling
2016-09-22 ago discontinued raw symbols;
2016-09-22 ago raw control symbols are superseded by Latex.embed_raw;
2016-09-21 ago more general mixfix delimiters;
2016-09-20 ago NEWS: Normalized_Fraction.thy
2016-09-19 ago resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet