Skip to content

Latest commit

 

History

History
34 lines (21 loc) · 760 Bytes

CHANGELOG.md

File metadata and controls

34 lines (21 loc) · 760 Bytes

Change Log

All notable changes to the "Hets IDE" extension will be documented in this file.

[Unreleased]

0.0.1

  • Initial release.
  • Display the development graph for a selected document.
  • Prove a selected node.

0.0.2

  • Add settings to configure Hets commands.
  • Add loading indicator when fetching development graph.
  • Fix error when nothing needs to be proven.

0.0.3

  • Highlight the selected node in the graph
    • This is really rudimentary for now and only supports selecting nodes (no deselection etc.)
  • Support files in subfolders

0.0.4

  • Add basic syntax highlighting for .dol files

0.0.5

  • Improve syntax highlighting
  • Highlight .casl and .het files
  • Add default shortcuts to "show graph" and "prove" commands