v0.4.1

Added

• class and instance to interface and implementation (@justjoheinz)

Fixed

v0.4.0

Added

• Added a REPL #80
• Added a panel for the apropos command

Fixed

v0.3.4

Added

Fixed

• Added a better description for the path to the idris executable in the settings
• Fixed the highlighting of comments
• Fix the highlighting of documentation comments #82 (@geo2a)
• Initial clause is inserted in wrong place for functions with multiline type annotation. #72

v0.3.3

Added

Fixed

• Most commands throw exceptions on Windows 8.1 (@aochagavia)

v0.3.2

Added

• parse the new pkgsoption in the ipkg file idris-lang/Idris-dev/pull/2668

Fixed

v0.3.1

Added

Fixed

• get documentation or types for operators #66
• removed the statusbar #67

v0.3.0

Added

• Add a means of setting the Idris -p option #29

Fixed

v0.2.5

Added

• Restart the idris compiler after every commmand if it was killed #54
• added the ability to style all the idris-panels

Fixed

• Status message should appear only in idris projects #52 many thanks to @jeremy-w

v0.2.4

Added

Fixed

• Uncaught ReferenceError: editor is not defined #49
• Error when searching for type, documentation #37

v0.2.3

Added

• make-with (@edwinb)
• make-case (@edwinb)
• make-lemma (@edwinb)

Fixed

• Uncaught Error: Can't save buffer with no file path #47
• save files before executing a command (@edwinb)
• The Idris Errors panel should tell me if typechecking went successfully #43 (@edwinb)