Kevin Barabash
|
f03849c831
update fonts and metrics so that accents are positioned correctly (#1094)
|
6 years ago |
Erik Demaine
|
d6791b7961
Make accents zero width (#1033)
|
7 years ago |
Christopher
|
6e75ebdc2d
Fix #337 - Array/Matrix trim trailing empty line (#479)
|
7 years ago |
Erik Demaine
|
201193233e
Support for \' \` \^ \~ \= \u \. \" \r \H \v text-mode accents (#802)
|
7 years ago |