NEWS
Sun, 02 Oct 2022 18:22:49 +0200 wenzelm back to post-release mode -- after fork point;
Fri, 30 Sep 2022 19:42:08 +0200 wenzelm more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
Fri, 30 Sep 2022 19:26:28 +0200 wenzelm restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
less more (0) -3000 -1000 -300 -100 -30 -10 -3 tip