Skip to content

Commit

Permalink
Update version to v0.4.10
Browse files Browse the repository at this point in the history
Update change log
  • Loading branch information
melted committed Aug 16, 2017
1 parent 7de61db commit f97be6f
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 1 deletion.
15 changes: 15 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,21 @@

### Fixed

## v0.4.10

### Added
- Display typechecking information
- Copy executable path to clipboard
- Syntax highlitning in message panel
- Proof clause
- higlightning of parameters
- Better support for literate idris
- Added snippets

### Fixed
- Display error message from idris
- Idris now restarts if stopped
- fix comments highlightning

## v0.4.9

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": "language-idris",
"main": "./lib/language-idris",
"version": "0.4.9",
"version": "0.4.10",
"private": true,
"description": "A plugin for developing with Idris",
"repository": "https://github.com/idris-hackers/atom-language-idris",
Expand Down

0 comments on commit f97be6f

Please sign in to comment.