v0.9.8

• Add option to toggle showing output channel of displaying typechecking result #109
• Ignore huge image files when publishing to marketplace #110
• Add option to control the max times of continuous typechecking in order to avoid memory leaking without reducing user experience #111
• Mock a maybe monad to simplify nullary checking #112

v0.9.6

• Latex completion for replCompletion mode #104
• Completion with symbols in whole project for allWords mode #102
• Use status bar to show type checking and totality checking status #106
• Fix typechecking pending bug 319a384
• Add document highlights for more precise semantic sensitive symbol selection highlighting #107
• Add function parameter type hints #51

v0.9.3

• Remove doubling single quote 6e8edbd @be5invis
• Support option to turn of totality checking(partial warning) 1af2b48 @be5invis
• Integrate idringen, support project scaffolding #87
• Support search value by its type signature #88
• Fix loading path without any path separator when start REPL on Windows #100 @Cedric-Venet
• Fix replCompletion mode of auto-completion not working after type checking failed #101

v0.9.0

• Improvement for using with standalone Idris file #94
• Improvement for using on Windows #93
• Fix loading empty string when starting REPL on windows #92 @be5invis
• Nullify ideModeRef after project options have been changed 5306560 @dramforever
• Update syntax file for parameter block dec5b09 @be5invis
• Update syntax file for quasiquote 86e621b @be5invis
• Add a portable prelaunch script #89
• Fix memory leak when type checking failed #86
• Update syntax file for tail comments 69fe18d

v0.8.9

• Auto-completion module names in iPKG file #62
• Go to the definition of a concrete module file from iPKG file #68
• Literate programming improvement #79
• Extension activates on Idris file, iPKG file and literate Idris file #80
• Auto-completion module names in import clause of Idris file and literate Idris file #81
• Auto-completion for Idris keywords and iPKG keywords #82

v0.8.6

• Support totality checking for functions #58
• Better support for literate programming #75
• Support Add proof clause command #76
• Update syntax file to fix context signature df29a52 @be5invis
• Update code snippets 3c1c869

v0.8.3

• Update syntax file to support numbers in module names 2ceb72d @be5invis
• Support Latex snippets #49
• Support go to module file from import clause #72
• Support go to definition with module alias and re-export import clause #71

v0.8.0

• Performance improvement for Search Symbol #70
• Remove default keybindings completely #69
• Find All References #27
• Rename Symbol and Change all occurrences #50
• Update code snippets #61

v0.6.9

• Support Go to Symbol and Search Symbol #48
• Find definition improvement #67
• Fix Can't find import bug for typechecking #66

v0.6.6

• Go to Definition and Peek Definition improvement #63
• Fix can not Start/Reload REPL for Windows #60 @be5invis