From 2e3d2fd7ba5a5f026d902014579a46d24ec4af1d 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 | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/spec/changelog.tex b/spec/changelog.tex
index 3904918..5b7bf29 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -27,6 +27,10 @@ Breaking changes:
\item The rules \proofRule{and_pos}, \proofRule{or_neg}, \proofRule{and},
\proofRule{not_or} now have one argument that indicates which subterm
they use.
+ \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