Skip to content

Commit

Permalink
Bump up version
Browse files Browse the repository at this point in the history
  • Loading branch information
zjhmale committed Apr 16, 2017
1 parent 01a1086 commit fe429ae
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 2 deletions.
9 changes: 9 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,14 @@
# Changelog

## 0.8.9

* Auto-completion module names in iPKG file [#62](https://github.com/zjhmale/vscode-idris/issues/62)
* Go to the definition of a concrete module file from iPKG file [#68](https://github.com/zjhmale/vscode-idris/issues/68)
* Literate programming improvement [#79](https://github.com/zjhmale/vscode-idris/issues/79)
* Extension activates on Idris file, iPKG file and literate Idris file [#80](https://github.com/zjhmale/vscode-idris/issues/80)
* Auto-completion module names in import clause of Idris file and literate Idris file [#81](https://github.com/zjhmale/vscode-idris/issues/81)
* Auto-completion for Idris keywords and iPKG keywords [#82](https://github.com/zjhmale/vscode-idris/issues/82)

## 0.8.6

* Support totality checking for functions [#58](https://github.com/zjhmale/vscode-idris/issues/58)
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ The following Visual Studio Code settings along with their *default* values that

## Acknowledgements

* Internal design is inspired by [atom-language-idris](https://github.com/idris-hackers/atom-language-idris).
* The internal design is initially inspired by [atom-language-idris](https://github.com/idris-hackers/atom-language-idris).

## License

Expand Down
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"name": "Idris",
"description": "Idris Language Support for Visual Studio Code",
"version": "0.8.6",
"version": "0.8.9",
"publisher": "zjhmale",
"engines": {
"vscode": "^1.8.0"
Expand Down

0 comments on commit fe429ae

Please sign in to comment.