NEWS

--- a/NEWS	Sun Nov 12 22:34:08 2023 +0100
+++ b/NEWS	Mon Nov 13 09:02:56 2023 +0100
@@ -9,6 +9,10 @@
 
 *** HOL ***
 
+* Sledgehammer
+  - Update of bundled prover:
+    + Vampire 4.8 HO - Sledgehammer schedules (2023-10-19)
+
 * Mirabelle:
   - Removed proof reconstruction from "sledgehammer" action; the related option
   "proof_method" was removed. Proof reconstruction is supported directly