2007/8/6, Hans Hagen <pragma at wxs.nl>: > we can do; maybe the macro package you use is less strick and will > disable ptex by default or at least provide means to set this system wide This should be dumpable, so it can be set during format generation. Best Martin