diff --git a/ChangeLog b/ChangeLog
index f9f9e91..73ca063 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,10 +1,11 @@
 upcoming
-
+	Covering Lemma implementation
+0.9.8
+	Better constructors for Cascades needed by the upcoming Covering Lemma implementation.
 	Cascades now have a partially implemented List interface. This was needed to be able use them in HashMaps. BREAKING CHANGE: as a consequence, the ^ operation is not registered any more for OnCoordinates.
 	Skeleton visualisation: non-image singletons visually separated to an additional level, but not contributing to depth.
 	Direct depth calculation - height computation removed. Some decomposition may change as the loose components are pushed upwards.
 	MaxChainOfEssentialDependency added.
-
 0.9.7
 	BREAKING CHANGES: ContainsSet(sk, P) replaced with P in ExtendedImageSet(sk), since ExtendedImageSet is now a HashSet for faster lookup. SortedExtendedImageSet added for retaining the functionality of having a sorted list of the extended images.
 	CompactNotation has different semantics now and it is renamed to AttractorCycleNotation. LinearNotation has been removed.