NEWS
2020-10-15 wenzelm proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
2020-10-13 wenzelm merged
2020-10-13 wenzelm tuned;
2020-10-13 Mathias Fleury reconstruction of veriT proofs in NEWS
2020-10-12 Mathias Fleury add reconstruction for the SMT solver veriT
2020-10-12 wenzelm NEWS;
2020-10-12 haftmann replaced combinators by more conventional nesting pattern
2020-10-12 haftmann consolidated names and operations
2020-10-07 haftmann consolidated for the sake of documentation
2020-09-29 wenzelm allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
2020-09-28 wenzelm clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
2020-09-27 wenzelm ISABELLE_PDFLATEX is now lualatex;
2020-09-26 wenzelm discontinued obsolete DVI document format and related settings/tools;
2020-09-25 wenzelm clarified defaults for nitpick;
2020-09-25 haftmann factored out typedef material
2020-09-23 haftmann more thorough treatment of division, particularly signed division on int and word
2020-09-17 haftmann typo
2020-09-17 haftmann NEWS and CONTRIBUTORS
2020-09-10 wenzelm more uniform JVM vs. ML status widget;
2020-09-08 wenzelm update to official jedit-5.6.0;
2020-08-31 wenzelm proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
2020-08-25 wenzelm NEWS;
2020-08-17 wenzelm allow user-defined server commands via isabelle_scala_service;
2020-08-17 wenzelm more systematic support for special directories;
2020-08-13 wenzelm more documentation;
2020-08-07 wenzelm NEWS;
2020-08-06 wenzelm discontinued old batch-build functionality;
2020-08-05 haftmann separation of reversed bit lists from other material
2020-08-04 haftmann uniform mask operation
2020-08-01 haftmann more consequent transferability
2020-07-24 wenzelm tuned;
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
less more (0) -3000 -1000 -300 -100 -60 tip