pl Package 2005/04/11 23:15:00 1.15 rahtz Literate Programming for Prolog with LaTeX. Instead of having to transform the common source into program or documentation, the central idea was to develop a method to have one common source which can be interpreted by a Prolog system as well as by LaTeX, whether that Prolog system be C-Prolog, Quintus-Prolog, or ECLiPSe. [description copied from TeX Catalogue] unknown 3560797 texmf-dist/dvips/pl/config.pl texmf-dist/fonts/afm/public/pl/plb10.afm texmf-dist/fonts/afm/public/pl/plbsy10.afm texmf-dist/fonts/afm/public/pl/plbx10.afm texmf-dist/fonts/afm/public/pl/plbx12.afm texmf-dist/fonts/afm/public/pl/plbx5.afm texmf-dist/fonts/afm/public/pl/plbx6.afm texmf-dist/fonts/afm/public/pl/plbx7.afm texmf-dist/fonts/afm/public/pl/plbx8.afm texmf-dist/fonts/afm/public/pl/plbx9.afm texmf-dist/fonts/afm/public/pl/plbxsl10.afm texmf-dist/fonts/afm/public/pl/plbxti10.afm texmf-dist/fonts/afm/public/pl/plcsc10.afm texmf-dist/fonts/afm/public/pl/pldunh10.afm texmf-dist/fonts/afm/public/pl/plex10.afm texmf-dist/fonts/afm/public/pl/plex9.afm texmf-dist/fonts/afm/public/pl/plff10.afm texmf-dist/fonts/afm/public/pl/plfi10.afm texmf-dist/fonts/afm/public/pl/plfib8.afm texmf-dist/fonts/afm/public/pl/plinch.afm texmf-dist/fonts/afm/public/pl/plitt10.afm texmf-dist/fonts/afm/public/pl/plmi10.afm texmf-dist/fonts/afm/public/pl/plmi12.afm texmf-dist/fonts/afm/public/pl/plmi5.afm texmf-dist/fonts/afm/public/pl/plmi6.afm texmf-dist/fonts/afm/public/pl/plmi7.afm texmf-dist/fonts/afm/public/pl/plmi8.afm texmf-dist/fonts/afm/public/pl/plmi9.afm texmf-dist/fonts/afm/public/pl/plmib10.afm texmf-dist/fonts/afm/public/pl/plr10.afm texmf-dist/fonts/afm/public/pl/plr12.afm texmf-dist/fonts/afm/public/pl/plr17.afm texmf-dist/fonts/afm/public/pl/plr5.afm texmf-dist/fonts/afm/public/pl/plr6.afm texmf-dist/fonts/afm/public/pl/plr7.afm texmf-dist/fonts/afm/public/pl/plr8.afm texmf-dist/fonts/afm/public/pl/plr9.afm texmf-dist/fonts/afm/public/pl/plsl10.afm texmf-dist/fonts/afm/public/pl/plsl12.afm texmf-dist/fonts/afm/public/pl/plsl8.afm texmf-dist/fonts/afm/public/pl/plsl9.afm texmf-dist/fonts/afm/public/pl/plsltt10.afm texmf-dist/fonts/afm/public/pl/plss10.afm texmf-dist/fonts/afm/public/pl/plss12.afm texmf-dist/fonts/afm/public/pl/plss17.afm texmf-dist/fonts/afm/public/pl/plss8.afm texmf-dist/fonts/afm/public/pl/plss9.afm texmf-dist/fonts/afm/public/pl/plssbi10.afm texmf-dist/fonts/afm/public/pl/plssbx10.afm texmf-dist/fonts/afm/public/pl/plssdc10.afm texmf-dist/fonts/afm/public/pl/plssi10.afm texmf-dist/fonts/afm/public/pl/plssi12.afm texmf-dist/fonts/afm/public/pl/plssi17.afm texmf-dist/fonts/afm/public/pl/plssi8.afm texmf-dist/fonts/afm/public/pl/plssi9.afm texmf-dist/fonts/afm/public/pl/plssq8.afm texmf-dist/fonts/afm/public/pl/plssqi8.afm texmf-dist/fonts/afm/public/pl/plsy10.afm texmf-dist/fonts/afm/public/pl/plsy5.afm texmf-dist/fonts/afm/public/pl/plsy6.afm texmf-dist/fonts/afm/public/pl/plsy7.afm texmf-dist/fonts/afm/public/pl/plsy8.afm texmf-dist/fonts/afm/public/pl/plsy9.afm texmf-dist/fonts/afm/public/pl/pltcsc10.afm texmf-dist/fonts/afm/public/pl/pltex10.afm texmf-dist/fonts/afm/public/pl/pltex8.afm texmf-dist/fonts/afm/public/pl/pltex9.afm texmf-dist/fonts/afm/public/pl/plti10.afm texmf-dist/fonts/afm/public/pl/plti12.afm texmf-dist/fonts/afm/public/pl/plti7.afm texmf-dist/fonts/afm/public/pl/plti8.afm texmf-dist/fonts/afm/public/pl/plti9.afm texmf-dist/fonts/afm/public/pl/pltt10.afm texmf-dist/fonts/afm/public/pl/pltt12.afm texmf-dist/fonts/afm/public/pl/pltt8.afm texmf-dist/fonts/afm/public/pl/pltt9.afm texmf-dist/fonts/afm/public/pl/plu10.afm texmf-dist/fonts/afm/public/pl/plvtt10.afm texmf-dist/fonts/enc/dvips/pl/plin.enc texmf-dist/fonts/enc/dvips/pl/plit.enc texmf-dist/fonts/enc/dvips/pl/plitt.enc texmf-dist/fonts/enc/dvips/pl/plme.enc texmf-dist/fonts/enc/dvips/pl/plmi.enc texmf-dist/fonts/enc/dvips/pl/plms.enc texmf-dist/fonts/enc/dvips/pl/plrm.enc texmf-dist/fonts/enc/dvips/pl/plsc.enc texmf-dist/fonts/enc/dvips/pl/plte.enc texmf-dist/fonts/enc/dvips/pl/pltt.enc texmf-dist/fonts/map/dvips/pl/plother.map texmf-dist/fonts/map/dvips/pl/pltext.map texmf-dist/fonts/source/public/pl/cmssbi10.mf texmf-dist/fonts/source/public/pl/dlr10.mf texmf-dist/fonts/source/public/pl/fik_mik.mf texmf-dist/fonts/source/public/pl/pl.mft texmf-dist/fonts/source/public/pl/pl_cud.mf texmf-dist/fonts/source/public/pl/pl_dl.mf texmf-dist/fonts/source/public/pl/pl_dod.mf texmf-dist/fonts/source/public/pl/pl_ml.mf texmf-dist/fonts/source/public/pl/pl_mlk.mf texmf-dist/fonts/source/public/pl/pl_sym.mf texmf-dist/fonts/source/public/pl/plb10.mf texmf-dist/fonts/source/public/pl/plbsy10.mf texmf-dist/fonts/source/public/pl/plbsy5.mf texmf-dist/fonts/source/public/pl/plbsy7.mf texmf-dist/fonts/source/public/pl/plbx10.mf texmf-dist/fonts/source/public/pl/plbx12.mf texmf-dist/fonts/source/public/pl/plbx5.mf texmf-dist/fonts/source/public/pl/plbx6.mf texmf-dist/fonts/source/public/pl/plbx7.mf texmf-dist/fonts/source/public/pl/plbx8.mf texmf-dist/fonts/source/public/pl/plbx9.mf texmf-dist/fonts/source/public/pl/plbxsl10.mf texmf-dist/fonts/source/public/pl/plbxti10.mf texmf-dist/fonts/source/public/pl/plcsc10.mf texmf-dist/fonts/source/public/pl/pldunh10.mf texmf-dist/fonts/source/public/pl/plex10.mf texmf-dist/fonts/source/public/pl/plff10.mf texmf-dist/fonts/source/public/pl/plfi10.mf texmf-dist/fonts/source/public/pl/plfib8.mf texmf-dist/fonts/source/public/pl/plinch.mf texmf-dist/fonts/source/public/pl/plitt10.mf texmf-dist/fonts/source/public/pl/plmi10.mf texmf-dist/fonts/source/public/pl/plmi12.mf texmf-dist/fonts/source/public/pl/plmi5.mf texmf-dist/fonts/source/public/pl/plmi6.mf texmf-dist/fonts/source/public/pl/plmi7.mf texmf-dist/fonts/source/public/pl/plmi8.mf texmf-dist/fonts/source/public/pl/plmi9.mf texmf-dist/fonts/source/public/pl/plmib10.mf texmf-dist/fonts/source/public/pl/plmib5.mf texmf-dist/fonts/source/public/pl/plmib7.mf texmf-dist/fonts/source/public/pl/plr10.mf texmf-dist/fonts/source/public/pl/plr12.mf texmf-dist/fonts/source/public/pl/plr17.mf texmf-dist/fonts/source/public/pl/plr5.mf texmf-dist/fonts/source/public/pl/plr6.mf texmf-dist/fonts/source/public/pl/plr7.mf texmf-dist/fonts/source/public/pl/plr8.mf texmf-dist/fonts/source/public/pl/plr9.mf texmf-dist/fonts/source/public/pl/plsl10.mf texmf-dist/fonts/source/public/pl/plsl12.mf texmf-dist/fonts/source/public/pl/plsl8.mf texmf-dist/fonts/source/public/pl/plsl9.mf texmf-dist/fonts/source/public/pl/plsltt10.mf texmf-dist/fonts/source/public/pl/plss10.mf texmf-dist/fonts/source/public/pl/plss12.mf texmf-dist/fonts/source/public/pl/plss17.mf texmf-dist/fonts/source/public/pl/plss8.mf texmf-dist/fonts/source/public/pl/plss9.mf texmf-dist/fonts/source/public/pl/plssbi10.mf texmf-dist/fonts/source/public/pl/plssbx10.mf texmf-dist/fonts/source/public/pl/plssdc10.mf texmf-dist/fonts/source/public/pl/plssi10.mf texmf-dist/fonts/source/public/pl/plssi12.mf texmf-dist/fonts/source/public/pl/plssi17.mf texmf-dist/fonts/source/public/pl/plssi8.mf texmf-dist/fonts/source/public/pl/plssi9.mf texmf-dist/fonts/source/public/pl/plssq8.mf texmf-dist/fonts/source/public/pl/plssqi8.mf texmf-dist/fonts/source/public/pl/plsy10.mf texmf-dist/fonts/source/public/pl/plsy5.mf texmf-dist/fonts/source/public/pl/plsy6.mf texmf-dist/fonts/source/public/pl/plsy7.mf texmf-dist/fonts/source/public/pl/plsy8.mf texmf-dist/fonts/source/public/pl/plsy9.mf texmf-dist/fonts/source/public/pl/pltcsc10.mf texmf-dist/fonts/source/public/pl/pltex10.mf texmf-dist/fonts/source/public/pl/pltex8.mf texmf-dist/fonts/source/public/pl/pltex9.mf texmf-dist/fonts/source/public/pl/plti10.mf texmf-dist/fonts/source/public/pl/plti12.mf texmf-dist/fonts/source/public/pl/plti7.mf texmf-dist/fonts/source/public/pl/plti8.mf texmf-dist/fonts/source/public/pl/plti9.mf texmf-dist/fonts/source/public/pl/pltt10.mf texmf-dist/fonts/source/public/pl/pltt12.mf texmf-dist/fonts/source/public/pl/pltt8.mf texmf-dist/fonts/source/public/pl/pltt9.mf texmf-dist/fonts/source/public/pl/plu10.mf texmf-dist/fonts/source/public/pl/plvtt10.mf texmf-dist/fonts/source/public/pl/polan.mf texmf-dist/fonts/source/public/pl/polkap.mf texmf-dist/fonts/source/public/pl/polkur.mf texmf-dist/fonts/source/public/pl/polmat.mf texmf-dist/fonts/source/public/pl/poltyt.mf texmf-dist/fonts/tfm/public/pl/plb10.tfm texmf-dist/fonts/tfm/public/pl/plbsy10.tfm texmf-dist/fonts/tfm/public/pl/plbsy5.tfm texmf-dist/fonts/tfm/public/pl/plbsy7.tfm texmf-dist/fonts/tfm/public/pl/plbx10.tfm texmf-dist/fonts/tfm/public/pl/plbx12.tfm texmf-dist/fonts/tfm/public/pl/plbx5.tfm texmf-dist/fonts/tfm/public/pl/plbx6.tfm texmf-dist/fonts/tfm/public/pl/plbx7.tfm texmf-dist/fonts/tfm/public/pl/plbx8.tfm texmf-dist/fonts/tfm/public/pl/plbx9.tfm texmf-dist/fonts/tfm/public/pl/plbxsl10.tfm texmf-dist/fonts/tfm/public/pl/plbxti10.tfm texmf-dist/fonts/tfm/public/pl/plcsc10.tfm texmf-dist/fonts/tfm/public/pl/pldunh10.tfm texmf-dist/fonts/tfm/public/pl/plex10.tfm texmf-dist/fonts/tfm/public/pl/plex9.tfm texmf-dist/fonts/tfm/public/pl/plff10.tfm texmf-dist/fonts/tfm/public/pl/plfi10.tfm texmf-dist/fonts/tfm/public/pl/plfib8.tfm texmf-dist/fonts/tfm/public/pl/plinch.tfm texmf-dist/fonts/tfm/public/pl/plitt10.tfm texmf-dist/fonts/tfm/public/pl/plmi10.tfm texmf-dist/fonts/tfm/public/pl/plmi12.tfm texmf-dist/fonts/tfm/public/pl/plmi5.tfm texmf-dist/fonts/tfm/public/pl/plmi6.tfm texmf-dist/fonts/tfm/public/pl/plmi7.tfm texmf-dist/fonts/tfm/public/pl/plmi8.tfm texmf-dist/fonts/tfm/public/pl/plmi9.tfm texmf-dist/fonts/tfm/public/pl/plmib10.tfm texmf-dist/fonts/tfm/public/pl/plmib5.tfm texmf-dist/fonts/tfm/public/pl/plmib7.tfm texmf-dist/fonts/tfm/public/pl/plr10.tfm texmf-dist/fonts/tfm/public/pl/plr12.tfm texmf-dist/fonts/tfm/public/pl/plr17.tfm texmf-dist/fonts/tfm/public/pl/plr5.tfm texmf-dist/fonts/tfm/public/pl/plr6.tfm texmf-dist/fonts/tfm/public/pl/plr7.tfm texmf-dist/fonts/tfm/public/pl/plr8.tfm texmf-dist/fonts/tfm/public/pl/plr9.tfm texmf-dist/fonts/tfm/public/pl/plsl10.tfm texmf-dist/fonts/tfm/public/pl/plsl12.tfm texmf-dist/fonts/tfm/public/pl/plsl8.tfm texmf-dist/fonts/tfm/public/pl/plsl9.tfm texmf-dist/fonts/tfm/public/pl/plsltt10.tfm texmf-dist/fonts/tfm/public/pl/plss10.tfm texmf-dist/fonts/tfm/public/pl/plss12.tfm texmf-dist/fonts/tfm/public/pl/plss17.tfm texmf-dist/fonts/tfm/public/pl/plss8.tfm texmf-dist/fonts/tfm/public/pl/plss9.tfm texmf-dist/fonts/tfm/public/pl/plssbi10.tfm texmf-dist/fonts/tfm/public/pl/plssbx10.tfm texmf-dist/fonts/tfm/public/pl/plssdc10.tfm texmf-dist/fonts/tfm/public/pl/plssi10.tfm texmf-dist/fonts/tfm/public/pl/plssi12.tfm texmf-dist/fonts/tfm/public/pl/plssi17.tfm texmf-dist/fonts/tfm/public/pl/plssi8.tfm texmf-dist/fonts/tfm/public/pl/plssi9.tfm texmf-dist/fonts/tfm/public/pl/plssq8.tfm texmf-dist/fonts/tfm/public/pl/plssqi8.tfm texmf-dist/fonts/tfm/public/pl/plsy10.tfm texmf-dist/fonts/tfm/public/pl/plsy5.tfm texmf-dist/fonts/tfm/public/pl/plsy6.tfm texmf-dist/fonts/tfm/public/pl/plsy7.tfm texmf-dist/fonts/tfm/public/pl/plsy8.tfm texmf-dist/fonts/tfm/public/pl/plsy9.tfm texmf-dist/fonts/tfm/public/pl/pltcsc10.tfm texmf-dist/fonts/tfm/public/pl/pltex10.tfm texmf-dist/fonts/tfm/public/pl/pltex8.tfm texmf-dist/fonts/tfm/public/pl/pltex9.tfm texmf-dist/fonts/tfm/public/pl/plti10.tfm texmf-dist/fonts/tfm/public/pl/plti12.tfm texmf-dist/fonts/tfm/public/pl/plti7.tfm texmf-dist/fonts/tfm/public/pl/plti8.tfm texmf-dist/fonts/tfm/public/pl/plti9.tfm texmf-dist/fonts/tfm/public/pl/pltt10.tfm texmf-dist/fonts/tfm/public/pl/pltt12.tfm texmf-dist/fonts/tfm/public/pl/pltt8.tfm texmf-dist/fonts/tfm/public/pl/pltt9.tfm texmf-dist/fonts/tfm/public/pl/plu10.tfm texmf-dist/fonts/tfm/public/pl/plvtt10.tfm texmf-dist/fonts/type1/public/pl/plb10.pfb texmf-dist/fonts/type1/public/pl/plb10.pfm texmf-dist/fonts/type1/public/pl/plbsy10.pfb texmf-dist/fonts/type1/public/pl/plbsy10.pfm texmf-dist/fonts/type1/public/pl/plbx10.pfb texmf-dist/fonts/type1/public/pl/plbx10.pfm texmf-dist/fonts/type1/public/pl/plbx12.pfb texmf-dist/fonts/type1/public/pl/plbx12.pfm texmf-dist/fonts/type1/public/pl/plbx5.pfb texmf-dist/fonts/type1/public/pl/plbx5.pfm texmf-dist/fonts/type1/public/pl/plbx6.pfb texmf-dist/fonts/type1/public/pl/plbx6.pfm texmf-dist/fonts/type1/public/pl/plbx7.pfb texmf-dist/fonts/type1/public/pl/plbx7.pfm texmf-dist/fonts/type1/public/pl/plbx8.pfb texmf-dist/fonts/type1/public/pl/plbx8.pfm texmf-dist/fonts/type1/public/pl/plbx9.pfb texmf-dist/fonts/type1/public/pl/plbx9.pfm texmf-dist/fonts/type1/public/pl/plbxsl10.pfb texmf-dist/fonts/type1/public/pl/plbxsl10.pfm texmf-dist/fonts/type1/public/pl/plbxti10.pfb texmf-dist/fonts/type1/public/pl/plbxti10.pfm texmf-dist/fonts/type1/public/pl/plcsc10.pfb texmf-dist/fonts/type1/public/pl/plcsc10.pfm texmf-dist/fonts/type1/public/pl/pldunh10.pfb texmf-dist/fonts/type1/public/pl/pldunh10.pfm texmf-dist/fonts/type1/public/pl/plex10.pfb texmf-dist/fonts/type1/public/pl/plex10.pfm texmf-dist/fonts/type1/public/pl/plex9.pfb texmf-dist/fonts/type1/public/pl/plex9.pfm texmf-dist/fonts/type1/public/pl/plff10.pfb texmf-dist/fonts/type1/public/pl/plff10.pfm texmf-dist/fonts/type1/public/pl/plfi10.pfb texmf-dist/fonts/type1/public/pl/plfi10.pfm texmf-dist/fonts/type1/public/pl/plfib8.pfb texmf-dist/fonts/type1/public/pl/plfib8.pfm texmf-dist/fonts/type1/public/pl/plinch.pfb texmf-dist/fonts/type1/public/pl/plinch.pfm texmf-dist/fonts/type1/public/pl/plitt10.pfb texmf-dist/fonts/type1/public/pl/plitt10.pfm texmf-dist/fonts/type1/public/pl/plmi10.pfb texmf-dist/fonts/type1/public/pl/plmi10.pfm texmf-dist/fonts/type1/public/pl/plmi12.pfb texmf-dist/fonts/type1/public/pl/plmi12.pfm texmf-dist/fonts/type1/public/pl/plmi5.pfb texmf-dist/fonts/type1/public/pl/plmi5.pfm texmf-dist/fonts/type1/public/pl/plmi6.pfb texmf-dist/fonts/type1/public/pl/plmi6.pfm texmf-dist/fonts/type1/public/pl/plmi7.pfb texmf-dist/fonts/type1/public/pl/plmi7.pfm texmf-dist/fonts/type1/public/pl/plmi8.pfb texmf-dist/fonts/type1/public/pl/plmi8.pfm texmf-dist/fonts/type1/public/pl/plmi9.pfb texmf-dist/fonts/type1/public/pl/plmi9.pfm texmf-dist/fonts/type1/public/pl/plmib10.pfb texmf-dist/fonts/type1/public/pl/plmib10.pfm texmf-dist/fonts/type1/public/pl/plr10.pfb texmf-dist/fonts/type1/public/pl/plr10.pfm texmf-dist/fonts/type1/public/pl/plr12.pfb texmf-dist/fonts/type1/public/pl/plr12.pfm texmf-dist/fonts/type1/public/pl/plr17.pfb texmf-dist/fonts/type1/public/pl/plr17.pfm texmf-dist/fonts/type1/public/pl/plr5.pfb texmf-dist/fonts/type1/public/pl/plr5.pfm texmf-dist/fonts/type1/public/pl/plr6.pfb texmf-dist/fonts/type1/public/pl/plr6.pfm texmf-dist/fonts/type1/public/pl/plr7.pfb texmf-dist/fonts/type1/public/pl/plr7.pfm texmf-dist/fonts/type1/public/pl/plr8.pfb texmf-dist/fonts/type1/public/pl/plr8.pfm texmf-dist/fonts/type1/public/pl/plr9.pfb texmf-dist/fonts/type1/public/pl/plr9.pfm texmf-dist/fonts/type1/public/pl/plsl10.pfb texmf-dist/fonts/type1/public/pl/plsl10.pfm texmf-dist/fonts/type1/public/pl/plsl12.pfb texmf-dist/fonts/type1/public/pl/plsl12.pfm texmf-dist/fonts/type1/public/pl/plsl8.pfb texmf-dist/fonts/type1/public/pl/plsl8.pfm texmf-dist/fonts/type1/public/pl/plsl9.pfb texmf-dist/fonts/type1/public/pl/plsl9.pfm texmf-dist/fonts/type1/public/pl/plsltt10.pfb texmf-dist/fonts/type1/public/pl/plsltt10.pfm texmf-dist/fonts/type1/public/pl/plss10.pfb texmf-dist/fonts/type1/public/pl/plss10.pfm texmf-dist/fonts/type1/public/pl/plss12.pfb texmf-dist/fonts/type1/public/pl/plss12.pfm texmf-dist/fonts/type1/public/pl/plss17.pfb texmf-dist/fonts/type1/public/pl/plss17.pfm texmf-dist/fonts/type1/public/pl/plss8.pfb texmf-dist/fonts/type1/public/pl/plss8.pfm texmf-dist/fonts/type1/public/pl/plss9.pfb texmf-dist/fonts/type1/public/pl/plss9.pfm texmf-dist/fonts/type1/public/pl/plssbi10.pfb texmf-dist/fonts/type1/public/pl/plssbi10.pfm texmf-dist/fonts/type1/public/pl/plssbx10.pfb texmf-dist/fonts/type1/public/pl/plssbx10.pfm texmf-dist/fonts/type1/public/pl/plssdc10.pfb texmf-dist/fonts/type1/public/pl/plssdc10.pfm texmf-dist/fonts/type1/public/pl/plssi10.pfb texmf-dist/fonts/type1/public/pl/plssi10.pfm texmf-dist/fonts/type1/public/pl/plssi12.pfb texmf-dist/fonts/type1/public/pl/plssi12.pfm texmf-dist/fonts/type1/public/pl/plssi17.pfb texmf-dist/fonts/type1/public/pl/plssi17.pfm texmf-dist/fonts/type1/public/pl/plssi8.pfb texmf-dist/fonts/type1/public/pl/plssi8.pfm texmf-dist/fonts/type1/public/pl/plssi9.pfb texmf-dist/fonts/type1/public/pl/plssi9.pfm texmf-dist/fonts/type1/public/pl/plssq8.pfb texmf-dist/fonts/type1/public/pl/plssq8.pfm texmf-dist/fonts/type1/public/pl/plssqi8.pfb texmf-dist/fonts/type1/public/pl/plssqi8.pfm texmf-dist/fonts/type1/public/pl/plsy10.pfb texmf-dist/fonts/type1/public/pl/plsy10.pfm texmf-dist/fonts/type1/public/pl/plsy5.pfb texmf-dist/fonts/type1/public/pl/plsy5.pfm texmf-dist/fonts/type1/public/pl/plsy6.pfb texmf-dist/fonts/type1/public/pl/plsy6.pfm texmf-dist/fonts/type1/public/pl/plsy7.pfb texmf-dist/fonts/type1/public/pl/plsy7.pfm texmf-dist/fonts/type1/public/pl/plsy8.pfb texmf-dist/fonts/type1/public/pl/plsy8.pfm texmf-dist/fonts/type1/public/pl/plsy9.pfb texmf-dist/fonts/type1/public/pl/plsy9.pfm texmf-dist/fonts/type1/public/pl/pltcsc10.pfb texmf-dist/fonts/type1/public/pl/pltcsc10.pfm texmf-dist/fonts/type1/public/pl/pltex10.pfb texmf-dist/fonts/type1/public/pl/pltex10.pfm texmf-dist/fonts/type1/public/pl/pltex8.pfb texmf-dist/fonts/type1/public/pl/pltex8.pfm texmf-dist/fonts/type1/public/pl/pltex9.pfb texmf-dist/fonts/type1/public/pl/pltex9.pfm texmf-dist/fonts/type1/public/pl/plti10.pfb texmf-dist/fonts/type1/public/pl/plti10.pfm texmf-dist/fonts/type1/public/pl/plti12.pfb texmf-dist/fonts/type1/public/pl/plti12.pfm texmf-dist/fonts/type1/public/pl/plti7.pfb texmf-dist/fonts/type1/public/pl/plti7.pfm texmf-dist/fonts/type1/public/pl/plti8.pfb texmf-dist/fonts/type1/public/pl/plti8.pfm texmf-dist/fonts/type1/public/pl/plti9.pfb texmf-dist/fonts/type1/public/pl/plti9.pfm texmf-dist/fonts/type1/public/pl/pltt10.pfb texmf-dist/fonts/type1/public/pl/pltt10.pfm texmf-dist/fonts/type1/public/pl/pltt12.pfb texmf-dist/fonts/type1/public/pl/pltt12.pfm texmf-dist/fonts/type1/public/pl/pltt8.pfb texmf-dist/fonts/type1/public/pl/pltt8.pfm texmf-dist/fonts/type1/public/pl/pltt9.pfb texmf-dist/fonts/type1/public/pl/pltt9.pfm texmf-dist/fonts/type1/public/pl/plu10.pfb texmf-dist/fonts/type1/public/pl/plu10.pfm texmf-dist/fonts/type1/public/pl/plvtt10.pfb texmf-dist/fonts/type1/public/pl/plvtt10.pfm texmf-dist/tpm/pl.tpm texmf-dist/doc/fonts/pl/README-T1.ENG texmf-dist/doc/fonts/pl/README-T1.POL texmf-dist/doc/fonts/pl/README.ENG texmf-dist/doc/fonts/pl/README.POL texmf-dist/doc/fonts/pl/plsample.tex Package/pl