Add CHANGELOG.

kosmikus · Nov 13, 2023 · 20dcc78 · 20dcc78
1 parent ccbeae6
commit 20dcc78
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,12 @@
+# lhs2tex-1.25 (2023-11-13)
+
+- Support for up to ghc-9.8.1.
+- Drop support for ghc versions older than 8.2.
+- Update bundled version of polytable.sty to 0.8.6.
+- Working GitHub CI.
+- Better error messages for --pre.
+- Add some missing keywords for Agda.
+
 # lhs2tex-1.24 (2020-05-01)
 
 - Fix line number calculation for LINE pragmas (#81).