> Can we use the same trick as MLTeX did ? I guess so. The situation is very similar. Knuth is using teTeX-1.0 on Linux and this has this ML stuff. Thomas