NEWS
Wed, 07 Oct 2020 10:39:14 +0200 haftmann consolidated for the sake of documentation
Tue, 29 Sep 2020 13:19:34 +0200 wenzelm allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
Mon, 28 Sep 2020 13:53:50 +0200 wenzelm clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
Sun, 27 Sep 2020 17:02:59 +0200 wenzelm ISABELLE_PDFLATEX is now lualatex;
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Fri, 25 Sep 2020 15:43:53 +0200 wenzelm clarified defaults for nitpick;
Fri, 25 Sep 2020 05:26:09 +0000 haftmann factored out typedef material
Wed, 23 Sep 2020 11:14:38 +0000 haftmann more thorough treatment of division, particularly signed division on int and word
Thu, 17 Sep 2020 13:55:21 +0200 haftmann typo
Thu, 17 Sep 2020 12:06:38 +0200 haftmann NEWS and CONTRIBUTORS
Thu, 10 Sep 2020 21:07:58 +0200 wenzelm more uniform JVM vs. ML status widget;
Tue, 08 Sep 2020 21:14:42 +0200 wenzelm update to official jedit-5.6.0;
Mon, 31 Aug 2020 22:05:05 +0200 wenzelm proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
Tue, 25 Aug 2020 15:14:46 +0200 wenzelm NEWS;
Mon, 17 Aug 2020 16:26:58 +0200 wenzelm allow user-defined server commands via isabelle_scala_service;
Mon, 17 Aug 2020 13:16:42 +0200 wenzelm more systematic support for special directories;
Thu, 13 Aug 2020 15:52:40 +0200 wenzelm more documentation;
Fri, 07 Aug 2020 23:01:28 +0200 wenzelm NEWS;
Thu, 06 Aug 2020 22:43:40 +0200 wenzelm discontinued old batch-build functionality;
Wed, 05 Aug 2020 19:06:39 +0200 haftmann separation of reversed bit lists from other material
Tue, 04 Aug 2020 09:33:05 +0000 haftmann uniform mask operation
Sat, 01 Aug 2020 17:43:30 +0000 haftmann more consequent transferability
Fri, 24 Jul 2020 16:45:20 +0200 wenzelm tuned;
Mon, 20 Jul 2020 23:45:29 +0200 wenzelm subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
Thu, 16 Jul 2020 04:52:25 +0000 haftmann yet another alias
Mon, 13 Jul 2020 15:23:32 +0000 haftmann concatentation of bit values
Sat, 11 Jul 2020 06:21:04 +0000 haftmann signed_take_bit
Thu, 09 Jul 2020 11:39:16 +0200 desharna Update Metis to 2.4
Mon, 06 Jul 2020 16:52:48 +0200 blanchet removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
Mon, 06 Jul 2020 10:47:30 +0000 haftmann separation of traditional bit operations
Thu, 02 Jul 2020 12:10:58 +0000 haftmann extraction of equations x = t from premises beneath meta-all
Thu, 02 Jul 2020 08:49:03 +0000 haftmann removed superfluous dependency
Wed, 01 Jul 2020 17:32:11 +0000 haftmann factored out ancient numeral representation
Wed, 01 Jul 2020 17:32:11 +0000 haftmann moved to Word_Lib
Sun, 21 Jun 2020 11:12:19 +0200 wenzelm clarified NEWS;
Sat, 20 Jun 2020 22:35:24 +0200 wenzelm enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
Fri, 19 Jun 2020 18:44:36 +0200 wenzelm merged
Fri, 19 Jun 2020 18:29:37 +0200 wenzelm back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);
Fri, 19 Jun 2020 09:46:47 +0000 haftmann prefer single name
Thu, 18 Jun 2020 09:07:30 +0000 haftmann build bit operations on word on library theory on bit operations
Thu, 18 Jun 2020 09:07:30 +0000 haftmann bit operations as distinctive library theory
Thu, 18 Jun 2020 09:07:29 +0000 haftmann dropped yet another duplicate
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced mere alias by input abbreviation
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced mere alias by abbreviation
Thu, 18 Jun 2020 09:07:29 +0000 haftmann replaced operation with weak abstraction by input abbreviation
Thu, 18 Jun 2020 09:07:29 +0000 haftmann avoid compound operation
Thu, 18 Jun 2020 09:07:28 +0000 haftmann replaced mere alias by input abbreviation
Wed, 17 Jun 2020 20:42:52 +0200 wenzelm enable pide_session by default;
Wed, 10 Jun 2020 19:59:12 +0200 wenzelm updated to jedit-5.6pre1 (repository version 25349);
Mon, 08 Jun 2020 21:56:06 +0200 wenzelm NEWS;
Mon, 08 Jun 2020 15:09:57 +0200 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure";
Sat, 06 Jun 2020 10:58:13 +0200 haftmann NEWS
Wed, 27 May 2020 16:43:34 +0200 wenzelm tuned;
Wed, 27 May 2020 16:09:25 +0200 wenzelm more NEWS;
Wed, 27 May 2020 14:27:22 +0200 wenzelm check bash functions against Isabelle settings environment;
Wed, 27 May 2020 13:57:13 +0200 wenzelm misc tuning;
Mon, 18 May 2020 12:59:01 +0200 wenzelm follow Phabricator update 2020 Week 19;
Thu, 14 May 2020 10:26:33 +0100 paulson The Uniq quantifier for FOL too
Wed, 13 May 2020 12:55:33 +0200 Manuel Eberl new constant power_int in HOL
Mon, 04 May 2020 17:35:29 +0200 Manuel Eberl New HOL simproc 'datatype_no_proper_subterm'
less more (0) -3000 -1000 -300 -100 -60 tip