[serlib] Expose some more functions related to Require's AST.

rocq-archive · Jan 19, 2024 · 5603879 · 5603879
1 parent 24e853c
commit 5603879
Show file tree

Hide file tree

Showing 2 changed files with 162 additions and 179 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)