blob: 263e9a8b73bd0466fc397fe5307940f5ae9a65e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
<!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/doublestroke.zip">
<TPM:Name>doublestroke</TPM:Name>
<TPM:Type>Package</TPM:Type>
<TPM:Date>2006/01/09 00:47:01</TPM:Date>
<TPM:Version>1.111</TPM:Version>
<TPM:Creator>staszek</TPM:Creator>
<TPM:Title>Typeset mathematical double stroke symbols.</TPM:Title>
<TPM:Description>
A font based on Computer Modern Roman useful for typesetting
the mathematical symbols for the natural numbers (N),
whole numbers (Z), rational numbers (Q), real numbers (R)
and complex numbers (C).
[description copied from TeX Catalogue]
</TPM:Description>
<TPM:Author>Olaf Kummer</TPM:Author>
<TPM:Size>206561</TPM:Size>
<TPM:Build/>
<TPM:RunFiles size="173272">
texmf-dist/fonts/source/public/doublestroke/dsrom.mf
texmf-dist/fonts/source/public/doublestroke/dsrom10.mf
texmf-dist/fonts/source/public/doublestroke/dsrom12.mf
texmf-dist/fonts/source/public/doublestroke/dsrom8.mf
texmf-dist/fonts/source/public/doublestroke/dsromo.mf
texmf-dist/fonts/source/public/doublestroke/dsromu.mf
texmf-dist/fonts/source/public/doublestroke/dsss10.mf
texmf-dist/fonts/source/public/doublestroke/dsss12.mf
texmf-dist/fonts/source/public/doublestroke/dsss8.mf
texmf-dist/fonts/tfm/public/doublestroke/dsrom10.tfm
texmf-dist/fonts/tfm/public/doublestroke/dsrom12.tfm
texmf-dist/fonts/tfm/public/doublestroke/dsrom8.tfm
texmf-dist/fonts/tfm/public/doublestroke/dsss10.tfm
texmf-dist/fonts/tfm/public/doublestroke/dsss12.tfm
texmf-dist/fonts/tfm/public/doublestroke/dsss8.tfm
texmf-dist/fonts/type1/public/doublestroke/dsrom10.pfb
texmf-dist/fonts/type1/public/doublestroke/dsrom12.pfb
texmf-dist/fonts/type1/public/doublestroke/dsrom8.pfb
texmf-dist/fonts/type1/public/doublestroke/dsss10.pfb
texmf-dist/fonts/type1/public/doublestroke/dsss12.pfb
texmf-dist/fonts/type1/public/doublestroke/dsss8.pfb
texmf-dist/tex/latex/doublestroke/Udsrom.fd
texmf-dist/tex/latex/doublestroke/Udsss.fd
texmf-dist/tex/latex/doublestroke/dsfont.sty
texmf-dist/tpm/doublestroke.tpm
</TPM:RunFiles>
<TPM:DocFiles size="33289">
texmf-dist/doc/fonts/doublestroke/dsdoc.dvi
texmf-dist/doc/fonts/doublestroke/dsdoc.tex
texmf-dist/doc/fonts/doublestroke/readme
</TPM:DocFiles>
<TPM:Provides>Package/doublestroke</TPM:Provides>
</rdf:Description>
</rdf:RDF>
|
