| Sun, 29 May 2022 23:19:00 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sun, 29 May 2022 22:47:34 +0200 | wenzelm | merged | file | diff | annotate |
| Sun, 29 May 2022 21:32:28 +0200 | wenzelm | more robust: local repository required; | file | diff | annotate |
| Sun, 29 May 2022 16:25:37 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Sat, 28 May 2022 10:45:45 +0200 | desharna | added lemmas Multiset.bex_{least,greatest}_element | file | diff | annotate |
| Mon, 23 May 2022 10:23:33 +0200 | desharna | NEWS | file | diff | annotate |
| Wed, 11 May 2022 09:53:29 +0200 | wenzelm | provide Isabelle/Electron test; | file | diff | annotate |
| Sun, 03 Apr 2022 09:07:37 +0000 | haftmann | adjusted printing of type annotations to accomodate Scala 3 | file | diff | annotate |
| Fri, 01 Apr 2022 11:27:04 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
| Fri, 01 Apr 2022 09:58:05 +0200 | desharna | added documentation | file | diff | annotate |
| Tue, 29 Mar 2022 15:44:27 +0200 | haftmann | NEWS and CONTRIBUTORS | file | diff | annotate |
| Fri, 25 Mar 2022 16:41:03 +0100 | wenzelm | tuned text, without update of component for now; | file | diff | annotate |
| Fri, 25 Mar 2022 16:35:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 24 Mar 2022 23:33:55 +0100 | wenzelm | provide pre-built vscodium-1.65.2 for all platforms; | file | diff | annotate |
| Fri, 11 Mar 2022 11:19:38 +0100 | desharna | generated lemma map_ident_strong for BNFs | file | diff | annotate |
| Fri, 18 Feb 2022 12:20:30 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 17 Feb 2022 19:42:16 +0000 | haftmann | Avoid overaggresive splitting. | file | diff | annotate |
| Thu, 17 Feb 2022 19:42:15 +0000 | haftmann | Avoid overaggresive simplification. | file | diff | annotate |
| Wed, 16 Feb 2022 14:35:33 +0100 | desharna | NEWS | file | diff | annotate |
| Tue, 01 Feb 2022 08:59:35 +0100 | blanchet | tuned NEWS | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | more NEWS | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | updated NEWS | file | diff | annotate |
| 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) | file | diff | annotate |
| Sat, 22 Jan 2022 11:46:25 +0100 | desharna | renamed run_action to run in Mirabelle.action record | file | diff | annotate |
| Thu, 20 Jan 2022 13:56:51 +0100 | desharna | NEWS | file | diff | annotate |
| 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" | file | diff | annotate |
| Tue, 21 Dec 2021 19:31:30 +0100 | wenzelm | support Gradle as alternative to Maven (again); | file | diff | annotate |
| Sun, 19 Dec 2021 11:50:54 +0100 | desharna | NEWS | file | diff | annotate |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |
| Sat, 27 Nov 2021 10:46:57 +0100 | desharna | redefined less_multiset to be based on multp | file | diff | annotate |