Skip to content

Latest commit

 

History

History
48 lines (25 loc) · 801 Bytes

CHANGELOG.md

File metadata and controls

48 lines (25 loc) · 801 Bytes
Raw

Change Log

All notable changes to the idris2-lsp extension will be documented in this file.

0.7.0

  • Introduce Idris: Evaluation selection command bound to CTRL+SHIFT+ALT+ENTER

0.6.0

  • Avoid losing messages after stdout sanitization.
  • Log discarded server output to the Idris 2 LSP Server channel for easier debugging.

0.5.0

  • Avoid losing messages due to stdout sanitization.

0.4.0

  • Fix exit message so chez will actually quit.

0.3.0

  • Activate extension on literal Idris files

0.2.0

  • Support literal Idris files (*.lidr)

0.1.0

  • Minor change

0.0.4

  • Don't keep chez executable running after quitting.

0.0.3

  • Make extension compatible with vscode 1.36.1

0.0.2

  • Sanitize idris2-lsp stdout output

0.0.1

  • Initial release