|From:||Joris van der Hoeven|
|Subject:||Re: [Texmacs-dev] Importing ASCII grave from HTML|
|Date:||Fri, 25 Jul 2003 11:36:18 +0200 (CEST)|
> I really cannot find a satisfying solution to this problem. Until the font encoding system will be reorganized, please don't bother and just import GRAVE ACCENT as BACKQUOTE (`).
|[Prev in Thread]||Current Thread||[Next in Thread]|