1 files changed, 5 insertions, 0 deletions
diff --git a/Changelog b/Changelog
index 3be2d361..004d5cbe 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,8 @@
+Release 1.4.1, 2009-06-05
+=========================
+
+- Adapted to Coq 8.2-1.  No changes in functionality.
+
 Release 1.4, 2009-04-20
 =======================