v0.11.7 documentation

Author: Yishuai Li

meta.yml

@@ -75,6 +75,7 @@ documentation: |
     - Base directory to the provided theories
 
 coqdoc_index: |
+  - [0.11.7](v0.11.7/toc.html)
   - [0.11.6](v0.11.6/toc.html)
   - [0.11.5](v0.11.5/toc.html)
   - [0.11.4](v0.11.4/toc.html)