CHANGES.

CHANGES.md

@@ -25,6 +25,9 @@
   which under infrequent circumstances could appear,
   has been eliminated.
 
+* Improve Monolith's own `make test` so that it runs reliably in about 20
+  seconds (wall clock time) on a modern machine.
+
 ## 2024/11/26
 
 * The documentation of the specification combinators has been re-organized