NEWS
2020-07-20 wenzelm subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
2020-07-16 haftmann yet another alias
2020-07-13 haftmann concatentation of bit values
2020-07-11 haftmann signed_take_bit
2020-07-09 desharna Update Metis to 2.4
2020-07-06 blanchet removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
2020-07-06 haftmann separation of traditional bit operations
2020-07-02 haftmann extraction of equations x = t from premises beneath meta-all
2020-07-02 haftmann removed superfluous dependency
2020-07-01 haftmann factored out ancient numeral representation
2020-07-01 haftmann moved to Word_Lib
2020-06-21 wenzelm clarified NEWS;
2020-06-20 wenzelm enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
2020-06-19 wenzelm merged
2020-06-19 wenzelm back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
2020-06-19 haftmann prefer single name
2020-06-18 haftmann build bit operations on word on library theory on bit operations
2020-06-18 haftmann bit operations as distinctive library theory
2020-06-18 haftmann dropped yet another duplicate
2020-06-18 haftmann replaced mere alias by input abbreviation
2020-06-18 haftmann replaced mere alias by abbreviation
2020-06-18 haftmann replaced operation with weak abstraction by input abbreviation
2020-06-18 haftmann avoid compound operation
2020-06-18 haftmann replaced mere alias by input abbreviation
2020-06-17 wenzelm enable pide_session by default;
2020-06-10 wenzelm updated to jedit-5.6pre1 (repository version 25349);
2020-06-08 wenzelm NEWS;
2020-06-08 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure";
2020-06-06 haftmann NEWS
2020-05-27 wenzelm tuned;
2020-05-27 wenzelm more NEWS;
2020-05-27 wenzelm check bash functions against Isabelle settings environment;
2020-05-27 wenzelm misc tuning;
2020-05-18 wenzelm follow Phabricator update 2020 Week 19;
2020-05-14 paulson The Uniq quantifier for FOL too
2020-05-13 Manuel Eberl new constant power_int in HOL
2020-05-04 Manuel Eberl New HOL simproc 'datatype_no_proper_subterm'
2020-05-12 paulson Fixes for Sup{} = (0::nat)
2020-04-28 wenzelm added "isabelle sessions" tool;
2020-04-21 haftmann hooks for foundational terms: protection of foundational terms during simplification
2020-04-15 wenzelm merged
2020-04-13 wenzelm tuned NEWS; Isabelle2020
2020-04-12 wenzelm tuned NEWS;
2020-04-09 wenzelm tuned;
2020-04-08 wenzelm another isabelle_scala_service;
2020-04-08 wenzelm more general support for isabelle_scala_service;
2020-04-07 wenzelm NEWS;
2020-04-06 wenzelm NEWS;
2020-04-02 wenzelm merged
2020-03-25 wenzelm more NEWS;
2020-03-21 wenzelm merged;
2020-03-21 wenzelm more NEWS;
2020-03-20 wenzelm more NEWS;
2020-03-15 wenzelm back to post-release mode;
2020-03-14 wenzelm tuned;
2020-03-13 wenzelm proper escape for literal single quotes;
2020-03-13 wenzelm allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962);
2020-03-12 wenzelm updated for release;
2020-03-10 Manuel Eberl updated NEWS w.r.t. e0237f2eb49d
2020-03-06 wenzelm support Java/VM monitoring via jconsole;
less more (0) -3000 -1000 -300 -100 -60 tip