For the TeXLive distribution, we have
 a) made all the hex font positions in pxfonts.sty into decimal
 b) added a new file pxfonts.map, which is a copy of pxr.map
    but with no Palatino entries in

    Sebastian Rahtz sebastian.rahtz@oucs.ox.ac.uk
    May 2002
