Re: new version of SpaceLess

[Jean-Marc Lasgouttes]

>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> One other thing we ofcourse can to is to just use _ for all
Lars> chars that is not in the keep list already, and drop the 0x7f
Lars> completely. That actually has some merits...

I thing we should do exactly that, but not use _, since it is a bit
difficult do count the _ in names like a___b.tex (at least with the
font I use). What about an 'X'?

JMarc