diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-09 00:34:07 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-09 00:34:07 +0000 |
commit | 8e2e8ef7a966b559ba2e61fa603a3de0f590daf3 (patch) | |
tree | 456b927dcfbcabc7a49e58be68c94368992221c2 /Master/texmf-dist/tpm/stmaryrd.tpm | |
parent | a1e479591b6247ab7e5924a2102d5596760f330e (diff) |
trunk/Master/texmf-dist/tpm
git-svn-id: svn://tug.org/texlive/trunk@73 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tpm/stmaryrd.tpm')
-rw-r--r-- | Master/texmf-dist/tpm/stmaryrd.tpm | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/stmaryrd.tpm b/Master/texmf-dist/tpm/stmaryrd.tpm new file mode 100644 index 00000000000..6daf7036146 --- /dev/null +++ b/Master/texmf-dist/tpm/stmaryrd.tpm @@ -0,0 +1,73 @@ +<!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/stmaryrd.zip"> + <TPM:Name>stmaryrd</TPM:Name> + <TPM:Type>Package</TPM:Type> + <TPM:Date>2004/03/01 19:40:02</TPM:Date> + <TPM:Version></TPM:Version> + <TPM:Creator>staszek</TPM:Creator> + <TPM:Title> +St Mary Road symbols for functional programming. + </TPM:Title> + <TPM:Description></TPM:Description> + <TPM:Author>Alan Jeffrey and Jeremy Gibbons</TPM:Author> + <TPM:Size>365976</TPM:Size> + <TPM:Build/> + <TPM:RunFiles size="331317"> +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary10.afm +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary5.afm +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary6.afm +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary7.afm +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary8.afm +texmf-dist/fonts/afm/hoekwater/stmaryrd/stmary9.afm +texmf-dist/fonts/map/dvips/stmaryrd/stmaryrd.map +texmf-dist/fonts/source/public/stmaryrd/stmary10.mf +texmf-dist/fonts/source/public/stmaryrd/stmary5.mf +texmf-dist/fonts/source/public/stmaryrd/stmary6.mf +texmf-dist/fonts/source/public/stmaryrd/stmary7.mf +texmf-dist/fonts/source/public/stmaryrd/stmary8.mf +texmf-dist/fonts/source/public/stmaryrd/stmary9.mf +texmf-dist/fonts/source/public/stmaryrd/stmaryaj.mf +texmf-dist/fonts/source/public/stmaryrd/stmaryba.mf +texmf-dist/fonts/source/public/stmaryrd/stmarych.mf +texmf-dist/fonts/source/public/stmaryrd/stmaryjg.mf +texmf-dist/fonts/source/public/stmaryrd/stmaryrd.mf +texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm +texmf-dist/fonts/tfm/public/stmaryrd/stmary5.tfm +texmf-dist/fonts/tfm/public/stmaryrd/stmary6.tfm +texmf-dist/fonts/tfm/public/stmaryrd/stmary7.tfm +texmf-dist/fonts/tfm/public/stmaryrd/stmary8.tfm +texmf-dist/fonts/tfm/public/stmaryrd/stmary9.tfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary10.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary10.pfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary5.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary5.pfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary6.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary6.pfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary7.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary7.pfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary8.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary8.pfm +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary9.pfb +texmf-dist/fonts/type1/hoekwater/stmaryrd/stmary9.pfm +texmf-dist/tex/latex/stmaryrd/Ustmry.fd +texmf-dist/tex/latex/stmaryrd/stmaryrd.sty +texmf-dist/tpm/stmaryrd.tpm + </TPM:RunFiles> + <TPM:DocFiles size="8683"> +texmf-dist/doc/fonts/stmaryrd/README +texmf-dist/doc/fonts/stmaryrd/stmaryrd.dvi + </TPM:DocFiles> + <TPM:SourceFiles size="25976"> +texmf-dist/source/fonts/stmaryrd/00Description +texmf-dist/source/fonts/stmaryrd/INSTALL +texmf-dist/source/fonts/stmaryrd/stmaryrd.dtx +texmf-dist/source/fonts/stmaryrd/stmaryrd.ins + </TPM:SourceFiles> + <TPM:Installation> + <TPM:Execute function="addMap" mode="mixed" parameter="stmaryrd.map"/> + </TPM:Installation> + <TPM:Provides>Package/stmaryrd</TPM:Provides> + </rdf:Description> +</rdf:RDF> + |