v0.5.0

Added

• Display message panel information when invoking commands
• Add browse command to inspect contents of namespaces

Fixed

• Pass tabLength from Atom Settings to ide-mode to steer indentation
• Prevent idris compiler crash when sending wrong make-with command
• Fix #206
• Fix #187
• Fix #185
• Fix #199
• Consider Elaboration in infix grammar

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

Added

• Allow incomplete data definition
• Add record and rewrite keywords
• Support literate files
• Add cast snippet

Fixed

• Indent after do/where/if/then/else/of
• Save file state when executing commands

v0.4.8

v0.4.8

Fixed

• Fix proof search
• Remove deprecated selector

v0.4.7

Added

• REPL and package documentation #146 (@allancto)
• Additional commands in menu #142 (@joheinz)

Fixed

• Crashes with Atom 1.13.0 #149 (@melted)
• 'import public' syntax #145 (@joheinz)

v0.4.6

Added

• Report type checking status
• Snippets
• Navigate to error
• Highlight error

Fixed

• Styling of error messages
• ipkg grammar

v0.4.5

Added

Fixed

• Many different processes are spawned #114 (@pyrtsa)
• use 'cmd' instead of 'alt' on osx (@karljs)

v0.4.4

Added

• Make apropos view results scrollable #109 (@justjoheinz)
• Codecompletion via autocomplete-plus #98 (@justjoheinz)
• Replace deprecated abstract keyword with export #101 (@justjoheinz)
• Add snippets for the most common interface implementations #99 (@justjoheinz)

Fixed

• Nested with blocks #112
• Fix passing packages in ipkg files #111

v0.4.3

Added

Fixed

• After closing panel once with "X" icon, it no longer appears for type checking/inspection #90 (@justjoheinz)

v0.4.2

Added

• syntax highlighting for constructors #95

Fixed