c-parser: update change log for upcoming release

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2023-11-03 10:07:51 +11:00 · 2023-11-03 10:07:51 +11:00 · f1f1027125
parent a881c04a37
commit f1f1027125
1 changed files with 6 additions and 0 deletions
--- a/tools/c-parser/RELEASES.md
+++ b/tools/c-parser/RELEASES.md
@ -156,3 +156,9 @@
      ##<decl_type>: <name>

  e.g. `##Function: ctzl`
+
+## 1.20
+
+- Builds with Isabelle2023
+- Rearranged library session structure and included more libraries for heap
+  reasoning in the release. See e.g. files TypHeapLib.thy and LemmaBucket_C.thy