Skip to content

Commit 5d89064

Browse files
banacornbanacorn
committed
[ fix #250 ] Merge both lookup tables for UTF-16 surrogate pairs & Windows CRLF in Agda.OffsetConverter 
1 parent b63f634 commit 5d89064

File tree

11 files changed

+840
-401
lines changed

11 files changed

+840
-401
lines changed

‎CHANGELOG.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
55
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
66
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html)
77

8+
## v0.6.5 - 2025-??-??
9+
10+
### Fixed
11+
- #250: Misplaced hole when a line contains some special characters
12+
813
## v0.6.4 - 2025-08-11
914

1015
### Added

‎lib/js/src/Agda.bs.js‎

Lines changed: 40 additions & 32 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/Goals.bs.js‎

Lines changed: 17 additions & 36 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/test/tests/Test__Goals.bs.js‎

Lines changed: 11 additions & 122 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)