diff --git a/spec/changelog.tex b/spec/changelog.tex
index 39049184b4a1a6239b7eefff773a6331ce1b3312..5b7bf2969b6e809a8bfe684151cd361e367f6321 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