1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index a89168a0..d0da916d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,6 +13,7 @@ Version 2.4.1
 
   * Coq (#1430)
   * MSDOS Session (PR#734)
+  * Prolog (#1511)
   * TypeScript (#1515)
 
 - Support CSS variables in stylesheets (PR#814)