wasy package 2002/06/04 00:34:48 rahtz The wasy fonts (Waldis symbol fonts). 125827 The wasy fonts (Waldis symbol fonts). texmf/fonts/source/public/wasy/* texmf/fonts/tfm/public/wasy/* texmf/tpm/package/wasy.tpm texmf/fonts/source/public/wasy/lasychr.mf texmf/fonts/source/public/wasy/legal.txt texmf/fonts/source/public/wasy/rsym.mf texmf/fonts/source/public/wasy/wasy10.mf texmf/fonts/source/public/wasy/wasy5.mf texmf/fonts/source/public/wasy/wasy6.mf texmf/fonts/source/public/wasy/wasy7.mf texmf/fonts/source/public/wasy/wasy8.mf texmf/fonts/source/public/wasy/wasy9.mf texmf/fonts/source/public/wasy/wasyb10.mf texmf/fonts/source/public/wasy/wasychr.mf texmf/fonts/tfm/public/wasy/wasy10.tfm texmf/fonts/tfm/public/wasy/wasy5.tfm texmf/fonts/tfm/public/wasy/wasy6.tfm texmf/fonts/tfm/public/wasy/wasy7.tfm texmf/fonts/tfm/public/wasy/wasy8.tfm texmf/fonts/tfm/public/wasy/wasy9.tfm texmf/fonts/tfm/public/wasy/wasyb10.tfm texmf/tpm/package/wasy.tpm package/wasy