NEWS
Wed, 11 May 2022 09:53:29 +0200 wenzelm provide Isabelle/Electron test;
Sun, 03 Apr 2022 09:07:37 +0000 haftmann adjusted printing of type annotations to accomodate Scala 3
Fri, 01 Apr 2022 11:27:04 +0200 wenzelm tuned spelling;
Fri, 01 Apr 2022 09:58:05 +0200 desharna added documentation
Tue, 29 Mar 2022 15:44:27 +0200 haftmann NEWS and CONTRIBUTORS
Fri, 25 Mar 2022 16:41:03 +0100 wenzelm tuned text, without update of component for now;
Fri, 25 Mar 2022 16:35:15 +0100 wenzelm tuned;
Thu, 24 Mar 2022 23:33:55 +0100 wenzelm provide pre-built vscodium-1.65.2 for all platforms;
Fri, 11 Mar 2022 11:19:38 +0100 desharna generated lemma map_ident_strong for BNFs
Fri, 18 Feb 2022 12:20:30 +0100 wenzelm NEWS;
Thu, 17 Feb 2022 19:42:16 +0000 haftmann Avoid overaggresive splitting.
Thu, 17 Feb 2022 19:42:15 +0000 haftmann Avoid overaggresive simplification.
Wed, 16 Feb 2022 14:35:33 +0100 desharna NEWS
Tue, 01 Feb 2022 08:59:35 +0100 blanchet tuned NEWS
Mon, 31 Jan 2022 16:09:23 +0100 blanchet more NEWS
Mon, 31 Jan 2022 16:09:23 +0100 blanchet updated NEWS
Wed, 26 Jan 2022 14:05:36 +0100 blanchet treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
Sat, 22 Jan 2022 11:46:25 +0100 desharna renamed run_action to run in Mirabelle.action record
Thu, 20 Jan 2022 13:56:51 +0100 desharna NEWS
Tue, 11 Jan 2022 22:07:04 +0100 desharna split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"
Tue, 21 Dec 2021 19:31:30 +0100 wenzelm support Gradle as alternative to Maven (again);
Sun, 19 Dec 2021 11:50:54 +0100 desharna NEWS
Mon, 06 Dec 2021 15:34:54 +0100 wenzelm discontinued old-style {* verbatim *} tokens;
Sat, 27 Nov 2021 10:46:57 +0100 desharna redefined less_multiset to be based on multp
Sat, 27 Nov 2021 10:01:40 +0100 desharna added lemma mono_multp
Fri, 26 Nov 2021 11:14:10 +0100 desharna added Multiset.multp as predicate equivalent of Multiset.mult
Fri, 26 Nov 2021 19:44:21 +0100 wenzelm merged
Fri, 26 Nov 2021 13:07:15 +0100 wenzelm NEWS on "isabelle mirabelle";
Fri, 26 Nov 2021 13:05:36 +0100 wenzelm tuned;
Thu, 25 Nov 2021 21:31:50 +0100 wenzelm clarified default for kodkod_scala;
less more (0) -3000 -1000 -300 -100 -50 -30 tip