tag:github.com,2008:https://github.com/EngineeringSoftware/roosterize/releasesTags from roosterize2020-11-23T16:18:33Ztag:github.com,2008:Repository/256885691/v1.1.0+8.10.22020-11-23T17:01:28ZRoosterize v1.1.0 for Coq 8.10.2<p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/EngineeringSoftware/roosterize/pull/8">#8</a> from EngineeringSoftware/readme-update</p>
<p>Readme update</p>pengyunietag:github.com,2008:Repository/256885691/v1.1.0+8.10.2-beta2020-11-21T09:43:53ZRoosterize v1.1.0 for Coq 8.10.2 (beta)pengyunietag:github.com,2008:Repository/256885691/v8.10.02020-07-03T02:30:32ZRoosterize for Coq 8.10palmskog