On Tuesday, November 10, 2015, Mark Wickens <[email protected]> wrote:
> Hi Russ > > I've made a start - the biggest time waster for me will be to find the > most suitable equivalent Unicode character, but I'm already some way down > the road. > > > Isn't that the part that's already done? We made that mapping some time back for HTERM. Only concern is that the 102/200 is different than the 100. But I know there's a complete mapping for the 100 at least in HTERM. -- John.
