@@ -5,26 +5,59 @@ All notable changes to this project will be documented in this file.
55The format is based on [ Keep a Changelog] ( https://keepachangelog.com/en/1.0.0/ ) ,
66and this project adheres to [ Semantic Versioning] ( https://semver.org/spec/v2.0.0.html )
77
8- ## v0.6.7 - 2025-09-??
8+
9+ ## v0.6.8 - 2025-11-??
10+
11+ ### Added
12+ - WebAssembly ALS support - Full WASM language server support for VS Code for the Web
13+
14+ ### Changed
15+ - Version switching UI:
16+ - Renamed "Clear cache" → "Delete Downloads"
17+ - Removed "Open Download Folder" option
18+ - Hidden "Other downloads" submenu
19+ - Improved error messages - Shows source of connection paths for easier debugging
20+
21+ ### Fixed
22+ - #252 : Coloring of clickable items in panel
23+ - Web platform issues:
24+ - CORS errors when downloading from GitHub (now uses UNPKG CDN)
25+ - Browser file path handling
26+ - SharedArrayBuffer availability check
27+
28+
29+
30+ ## v0.6.7 - 2025-09-12
931
1032### Added
1133- #258 : provide hover text about how to type a symbol #258 by [ @dannypsnl ] ( https://github.com/dannypsnl )
34+ - Clickable connection status: the connection status in the panel is now clickable and opens the version switching UI for quick access
35+
36+ ### Changed
37+
38+ - CI improvements:
39+ - Added Agda 2.8.0 support and removed Agda 2.6.3 from CI
40+ - Upgraded GHC to 9.10.2 and Stack to lts-24.1
41+
42+ ### Fixed
43+
44+ - Agda 2.8.0 compatibility - Handle different output format from Agda 2.8.0
1245
1346## v0.6.6 - 2025-08-31
1447
1548### Added
1649- Allow users to clear the cache in the version switching UI
1750- Infrastructure and UI for displaying and downloading the ALS development builds (including the WASM)
1851
52+ ### Changed
53+ - Allow connection to ALS v6 with version number decoding from handshake
54+
1955### Fixed
2056- #108 : agda-mode suppresses implicit markdown support from vscode by [ @fredrik-bakke ] ( https://github.com/fredrik-bakke )
2157- #247 : Missing language configuration for literate files by [ @fredrik-bakke ] ( https://github.com/fredrik-bakke )
2258- #257 : Add built-in markdown preview keybindings for literate agda markdown files by [ @fredrik-bakke ] ( https://github.com/fredrik-bakke )
2359- #256 : Add language configurations for individual literate file types by [ @fredrik-bakke ] ( https://github.com/fredrik-bakke )
2460
25- ### Changed
26- - Allow connection to ALS v6 with version number decoding from handshake
27-
2861## v0.6.5 - 2025-08-22
2962
3063### Fixed
0 commit comments