... | ... | @@ -3,4 +3,5 @@ |
|
|
* [List of Coq bugs affecting Iris development](coq-bugs)
|
|
|
* [Iris style guide](style-guide) (a work-in-progress document)
|
|
|
* [Iris contributing guide](contributing) (a work-in-progress document)
|
|
|
* [Pinned Iris package versions](Pinned-Iris-package-versions) |
|
|
\ No newline at end of file |
|
|
* [Pinned Iris package versions](Pinned-Iris-package-versions)
|
|
|
* [Release checklist](Creating-a-new-Iris-release) |
|
|
\ No newline at end of file |