Merge pull request #386 from ejgallego/8_19_bp_release

[serlib] Expose some more functions related to Require's AST.
rocq-archive · Feb 4, 2024 · 09a8837 · 09a8837
2 parents a929658 + 29db00f
commit 09a8837
Show file tree

Hide file tree

Showing 2 changed files with 162 additions and 181 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,6 @@
 ## unreleased
 
- - [general] Cleanup old / unused code (@ejgallego, #)
+ - [general] Cleanup old / unused code (@ejgallego, #362)
 
 ## Version 0.18.1:
 
@@ -14,6 +14,11 @@
  - [serlib] Fix ltac2 plugin wrong piercing due to missing constructor
             (@ejgallego, reported by @quarkcool, #349).
 
+## Version 0.17.2:
+
+ - [serlib] Expose some more Ast functions required by coq-lsp's
+            auto-build support (@ejgallego, #383)
+
 ## Version 0.17.1:
 
  - [sertop] Don't initialize `CoqworkmgrApi` (@ejgallego, #340)