NEWS

--- a/NEWS	Thu Feb 22 21:42:02 2024 +0100
+++ b/NEWS	Fri Feb 23 09:11:31 2024 +0100
@@ -18,6 +18,7 @@
 * Sledgehammer
   - Update of bundled prover:
     + Vampire 4.8 HO - Sledgehammer schedules (2023-10-19)
+  - New implementation of moura tactic. INCOMPATIBILITY.
 
 * Mirabelle:
   - Removed proof reconstruction from "sledgehammer" action; the related option