Skip to content

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49) - #65

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/isabelle-cartouche-utf8-boundary
May 27, 2026
Merged

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49)#65
hyperpolymath merged 1 commit into
mainfrom
fix/isabelle-cartouche-utf8-boundary

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (…

d550f31
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar