Skip to content

Tags: idris-hackers/atom-language-idris

Tags

v0.6.0

Toggle v0.6.0's commit message
Prepare v0.6.0 release

v0.5.1

Toggle v0.5.1's commit message
Prepare v0.5.1 release

v0.5.0

Toggle v0.5.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #217 from melted/master

Update version to 0.5.0

v0.4.10

Toggle v0.4.10's commit message
Update version to v0.4.10

Update change log

v0.4.9

Toggle v0.4.9's commit message
Update to version 0.4.9

Update CHANGELOG with 0.4.9 release

v0.4.8

Toggle v0.4.8's commit message
Update version to 0.4.8

v0.4.7

Toggle v0.4.7's commit message
Update version to 0.4.7

v0.4.6

Toggle v0.4.6's commit message
Add next version to CHANGELOG

v0.4.5

Toggle v0.4.5's commit message
Prepare 0.4.5 release

v0.4.4

Toggle v0.4.4's commit message
Prepare 0.4.4 release