Change Log

All notable changes to the "aya-prover-vscode" extension will be documented in this file.

Check Keep a Changelog for recommendations on how to structure this file.

[0.0.5] - 2022-11-17

Updated

Adapt syntax of dev version of Aya (0.24-SNAPSHOT)

[0.0.4] - 2022-09-27

Added

Themable colors

Fixed

Workaround vscode Uri serialization bug

[0.0.3] - 2021-12-17

Added

Load libraries
Find references
Hover mouse on a term to show its type

Updated

Better syntax highlight
Better goto definition

[0.0.2] - 2021-11-1

Added

Compute NF
Compute Type
Goto definition

[0.0.1] - 2021-4-12

Added

Basic highlight
Load single file