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

rocq-archive · Feb 5, 2024 · 3b46f91 · 3b46f91
1 parent a224455
commit 3b46f91
Show file tree

Hide file tree

Showing 2 changed files with 157 additions and 176 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+## 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)