tag:github.com,2008:https://github.com/EngineeringSoftware/roosterize/releases Tags from roosterize 2020-11-23T16:18:33Z tag:github.com,2008:Repository/256885691/v1.1.0+8.10.2 2020-11-23T17:01:28Z Roosterize 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> pengyunie tag:github.com,2008:Repository/256885691/v1.1.0+8.10.2-beta 2020-11-21T09:43:53Z Roosterize v1.1.0 for Coq 8.10.2 (beta) pengyunie tag:github.com,2008:Repository/256885691/v8.10.0 2020-07-03T02:30:32Z Roosterize for Coq 8.10 palmskog