From 0e14e021981e95cf392fdce67ec539209b6c93cf Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Thu, 23 May 2024 18:39:04 -0500
Subject: [PATCH] Add changes to changelog
---
spec/changelog.tex | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index eaeecff..c0d9349 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -33,7 +33,12 @@ Breaking changes:
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 and cover all the respective bound variables.
+ Instead, the list of instatiation terms must follow the variable
+ order and cover all the respective bound variables.
+ \item Add new syntax for decimal and negative numbers and use it
+ for \proofRule{la_generic}.
+ \item Restrict sorting of numbers such that the sort of a constant is
+ only determined by its syntactic category.
\end{itemize}
\noindent
--
GitLab