diff options
Diffstat (limited to 'Master/texmf-dist/tpm/pl.tpm')
-rw-r--r-- | Master/texmf-dist/tpm/pl.tpm | 458 |
1 files changed, 458 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/pl.tpm b/Master/texmf-dist/tpm/pl.tpm new file mode 100644 index 00000000000..68fcc6855d4 --- /dev/null +++ b/Master/texmf-dist/tpm/pl.tpm @@ -0,0 +1,458 @@ +<!DOCTYPE rdf:RDF SYSTEM "../../Tools/tpm.dtd"> +<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/"> + <rdf:Description about="http://texlive.dante.de/texlive/Package/pl.zip"> + <TPM:Name>pl</TPM:Name> + <TPM:Type>Package</TPM:Type> + <TPM:Date>2005/04/11 23:15:00</TPM:Date> + <TPM:Version>1.15</TPM:Version> + <TPM:Creator>rahtz</TPM:Creator> + <TPM:Title>Literate Programming for Prolog with LaTeX.</TPM:Title> + <TPM:Description> +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] + </TPM:Description> + <TPM:Author>unknown</TPM:Author> + <TPM:Size>3560797</TPM:Size> + <TPM:Build/> + <TPM:RunFiles size="3482435"> +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 + </TPM:RunFiles> + <TPM:DocFiles size="78362"> +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 + </TPM:DocFiles> + <TPM:Installation> + <TPM:Execute function="addMap" mode="mixed" parameter="plother.map"/> + <TPM:Execute function="addMap" mode="mixed" parameter="pltext.map"/> + </TPM:Installation> + <TPM:Provides>Package/pl</TPM:Provides> + </rdf:Description> +</rdf:RDF> + |