diff --git a/spec/changelog.tex b/spec/changelog.tex index 7abf17856232ab94f5471dc4159551c6e98a96d3..a058885e76b3e0ac9ee087d7bf12470b9a681e55 100644 --- a/spec/changelog.tex +++ b/spec/changelog.tex @@ -1,4 +1,4 @@ -\subsection*{0.3 --- Unreleased} +\subsection*{0.3 --- \DTMdisplaydate{2023}{02}{10}{-1}} This release overhauls the entire document, but introduces only few changes to the proof format itself.