We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f3d86bc commit 95ee7a0Copy full SHA for 95ee7a0
meta.yml
@@ -95,6 +95,7 @@ coqdoc: true
95
index_documentation: |
96
Documentation
97
-------------
98
+ - [0.12.1](v0.12.1/toc.html)
99
- [0.12.0](v0.12.0/toc.html)
100
- [0.11.8](v0.11.8/toc.html)
101
- [0.11.7](v0.11.7/toc.html)
0 commit comments