From 1b0dfa9ea438a67a1bdb64f6bef7df73064a74a0 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Mon, 3 Jun 2024 17:08:20 -0500
Subject: [PATCH] Update changelog: note that forall_inst was changed

---
 spec/changelog.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spec/changelog.tex b/spec/changelog.tex
index 5b7bf29..1ef260d 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -31,6 +31,9 @@ Breaking changes:
         for \proofRule{la_generic}.
   \item Restrict sorting of numbers such that the sort of a constant is
         only determined by its syntactic category.
+  \item The arguments for \proofRule{forall_inst} have been changed to
+        no longer take the shape of bindings using \texttt{(:= x c)}.
+        Instead, the list of instatiation terms must follow the variable order.
 \end{itemize}
 
 \noindent
-- 
GitLab