tag:github.com,2008:https://github.com/idris-hackers/atom-language-idris/releases 2020-05-13T14:27:48Z tag:github.com,2008:Repository/18728374/v0.6.0 2020-05-13T14:27:48Z tag:github.com,2008:Repository/18728374/v0.5.1 2019-11-04T18:48:24Z melted tag:github.com,2008:Repository/18728374/v0.5.0 2018-09-12T19:44:51Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/idris-hackers/atom-language-idris/pull/217">#217</a> from melted/master</p> <p>Update version to 0.5.0</p> melted tag:github.com,2008:Repository/18728374/v0.4.10 2017-08-16T13:16:38Z <p>Update version to v0.4.10</p> <p>Update change log</p> melted tag:github.com,2008:Repository/18728374/v0.4.9 2017-04-08T11:54:53Z <p>Update to version 0.4.9</p> <p>Update CHANGELOG with 0.4.9 release</p> melted tag:github.com,2008:Repository/18728374/v0.4.8 2017-01-14T20:17:42Z melted tag:github.com,2008:Repository/18728374/v0.4.7 2017-01-14T19:39:34Z melted tag:github.com,2008:Repository/18728374/v0.4.6 2017-01-03T21:06:17Z melted tag:github.com,2008:Repository/18728374/v0.4.5 2016-12-16T11:38:18Z melted tag:github.com,2008:Repository/18728374/v0.4.4 2016-03-20T11:58:32Z archaeron