| Mon, 04 Oct 2021 14:02:11 +0200 | wenzelm | more NEWS and CONTRIBUTORS; | file | diff | annotate |
| Sat, 02 Oct 2021 20:28:30 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Sat, 17 Jul 2021 10:47:42 +0200 | haftmann | CONTRIBUTORS | file | diff | annotate |
| Thu, 08 Jul 2021 15:10:52 +0200 | desharna | added documentation for changes to Sledgehammer option "lam_trans" | file | diff | annotate |
| Wed, 31 Mar 2021 18:18:03 +0200 | nipkow | new automatic order prover: stateless, complete, verified | file | diff | annotate |
| Thu, 25 Mar 2021 08:52:15 +0000 | haftmann | dedicated session for combinatorial material | file | diff | annotate |
| Fri, 19 Mar 2021 13:22:12 +0100 | wenzelm | more CONTRIBUTORS; | file | diff | annotate |