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

rocq-archive · Feb 5, 2024 · b866a7f · b866a7f
1 parent 09236a5
commit b866a7f
Show file tree

Hide file tree

Showing 2 changed files with 169 additions and 179 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+## Version 0.18.2:
+
+ - [serlib] Expose some more Ast functions required by coq-lsp's
+            auto-build support (@ejgallego, #383)
+
 ## Version 0.18.1:
 
  - [serlib] Fix a few 8.18 piercings (!) (@ejgallego, #357)
@@ -10,6 +15,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)