Skip to content
This repository was archived by the owner on Feb 26, 2021. It is now read-only.

Commit a64bca3

Browse files
banacornbanacorn
committed
CHANGELOG
1 parent f6ba632 commit a64bca3

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

‎CHANGELOG.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
## 0.3.5
2+
* Fix when `ctrl-c ctrl-w` failed to query current goal
3+
* Jump to a goal by clicking on it's index
4+
* Postpone package activation until `agda-mode:load` for better editor startup time
5+
16
## 0.3.4
27
* View System rewritten with `Vue`, to prevent memory leaks in `v0.3.3`
38

0 commit comments

Comments
 (0)