summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/velthuis
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/velthuis')
-rw-r--r--Master/texmf/lists/velthuis271
1 files changed, 0 insertions, 271 deletions
diff --git a/Master/texmf/lists/velthuis b/Master/texmf/lists/velthuis
deleted file mode 100644
index 4b80ff79451..00000000000
--- a/Master/texmf/lists/velthuis
+++ /dev/null
@@ -1,271 +0,0 @@
-texmf-dist/doc/generic/velthuis/README
-texmf-dist/doc/generic/velthuis/captions.dn
-texmf-dist/doc/generic/velthuis/changes
-texmf-dist/doc/generic/velthuis/copying
-texmf-dist/doc/generic/velthuis/examples.dn
-texmf-dist/doc/generic/velthuis/examples.pdf
-texmf-dist/doc/generic/velthuis/manual.pdf
-texmf-dist/doc/generic/velthuis/manual.tex
-texmf-dist/doc/generic/velthuis/misspaal.dn
-texmf-dist/doc/generic/velthuis/misspaal.pdf
-texmf-dist/doc/generic/velthuis/vedasample.dn
-texmf-dist/doc/generic/velthuis/vedasample.pdf
-texmf-dist/fonts/afm/public/velthuis/dvnb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbbi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbbi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbbi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnbi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnc10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnc8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnc9.afm
-texmf-dist/fonts/afm/public/velthuis/dvncb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvncb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvncb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvncbi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvncbi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvncbi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnci10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnci8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnci9.afm
-texmf-dist/fonts/afm/public/velthuis/dvng10.afm
-texmf-dist/fonts/afm/public/velthuis/dvng8.afm
-texmf-dist/fonts/afm/public/velthuis/dvng9.afm
-texmf-dist/fonts/afm/public/velthuis/dvngb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvngb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvngb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvngbi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvngbi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvngbi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvngi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvngi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvngi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnn10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnn8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnn9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnbi10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnbi8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnnbi9.afm
-texmf-dist/fonts/afm/public/velthuis/dvnni10.afm
-texmf-dist/fonts/afm/public/velthuis/dvnni8.afm
-texmf-dist/fonts/afm/public/velthuis/dvnni9.afm
-texmf-dist/fonts/afm/public/velthuis/dvpb10.afm
-texmf-dist/fonts/afm/public/velthuis/dvpb8.afm
-texmf-dist/fonts/afm/public/velthuis/dvpb9.afm
-texmf-dist/fonts/afm/public/velthuis/dvpc10.afm
-texmf-dist/fonts/afm/public/velthuis/dvpc8.afm
-texmf-dist/fonts/afm/public/velthuis/dvpc9.afm
-texmf-dist/fonts/afm/public/velthuis/dvpn10.afm
-texmf-dist/fonts/afm/public/velthuis/dvpn8.afm
-texmf-dist/fonts/afm/public/velthuis/dvpn9.afm
-texmf-dist/fonts/afm/public/velthuis/dvpnn10.afm
-texmf-dist/fonts/afm/public/velthuis/dvpnn8.afm
-texmf-dist/fonts/afm/public/velthuis/dvpnn9.afm
-texmf-dist/fonts/map/dvips/velthuis/dvng.map
-texmf-dist/fonts/source/public/velthuis/dnchars.mf
-texmf-dist/fonts/source/public/velthuis/dndefs.mf
-texmf-dist/fonts/source/public/velthuis/dngen.mf
-texmf-dist/fonts/source/public/velthuis/dninit.mf
-texmf-dist/fonts/source/public/velthuis/dvnb10.mf
-texmf-dist/fonts/source/public/velthuis/dvnb8.mf
-texmf-dist/fonts/source/public/velthuis/dvnb9.mf
-texmf-dist/fonts/source/public/velthuis/dvnbb10.mf
-texmf-dist/fonts/source/public/velthuis/dvnbb8.mf
-texmf-dist/fonts/source/public/velthuis/dvnbb9.mf
-texmf-dist/fonts/source/public/velthuis/dvnbbi10.mf
-texmf-dist/fonts/source/public/velthuis/dvnbbi8.mf
-texmf-dist/fonts/source/public/velthuis/dvnbbi9.mf
-texmf-dist/fonts/source/public/velthuis/dvnbi10.mf
-texmf-dist/fonts/source/public/velthuis/dvnbi8.mf
-texmf-dist/fonts/source/public/velthuis/dvnbi9.mf
-texmf-dist/fonts/source/public/velthuis/dvnc10.mf
-texmf-dist/fonts/source/public/velthuis/dvnc8.mf
-texmf-dist/fonts/source/public/velthuis/dvnc9.mf
-texmf-dist/fonts/source/public/velthuis/dvncb10.mf
-texmf-dist/fonts/source/public/velthuis/dvncb8.mf
-texmf-dist/fonts/source/public/velthuis/dvncb9.mf
-texmf-dist/fonts/source/public/velthuis/dvncbi10.mf
-texmf-dist/fonts/source/public/velthuis/dvncbi8.mf
-texmf-dist/fonts/source/public/velthuis/dvncbi9.mf
-texmf-dist/fonts/source/public/velthuis/dvnci10.mf
-texmf-dist/fonts/source/public/velthuis/dvnci8.mf
-texmf-dist/fonts/source/public/velthuis/dvnci9.mf
-texmf-dist/fonts/source/public/velthuis/dvng10.mf
-texmf-dist/fonts/source/public/velthuis/dvng8.mf
-texmf-dist/fonts/source/public/velthuis/dvng9.mf
-texmf-dist/fonts/source/public/velthuis/dvngb10.mf
-texmf-dist/fonts/source/public/velthuis/dvngb8.mf
-texmf-dist/fonts/source/public/velthuis/dvngb9.mf
-texmf-dist/fonts/source/public/velthuis/dvngbi10.mf
-texmf-dist/fonts/source/public/velthuis/dvngbi8.mf
-texmf-dist/fonts/source/public/velthuis/dvngbi9.mf
-texmf-dist/fonts/source/public/velthuis/dvngi10.mf
-texmf-dist/fonts/source/public/velthuis/dvngi8.mf
-texmf-dist/fonts/source/public/velthuis/dvngi9.mf
-texmf-dist/fonts/source/public/velthuis/dvnn10.mf
-texmf-dist/fonts/source/public/velthuis/dvnn8.mf
-texmf-dist/fonts/source/public/velthuis/dvnn9.mf
-texmf-dist/fonts/source/public/velthuis/dvnnb10.mf
-texmf-dist/fonts/source/public/velthuis/dvnnb8.mf
-texmf-dist/fonts/source/public/velthuis/dvnnb9.mf
-texmf-dist/fonts/source/public/velthuis/dvnnbi10.mf
-texmf-dist/fonts/source/public/velthuis/dvnnbi8.mf
-texmf-dist/fonts/source/public/velthuis/dvnnbi9.mf
-texmf-dist/fonts/source/public/velthuis/dvnni10.mf
-texmf-dist/fonts/source/public/velthuis/dvnni8.mf
-texmf-dist/fonts/source/public/velthuis/dvnni9.mf
-texmf-dist/fonts/source/public/velthuis/dvpb10.mf
-texmf-dist/fonts/source/public/velthuis/dvpb8.mf
-texmf-dist/fonts/source/public/velthuis/dvpb9.mf
-texmf-dist/fonts/source/public/velthuis/dvpc10.mf
-texmf-dist/fonts/source/public/velthuis/dvpc8.mf
-texmf-dist/fonts/source/public/velthuis/dvpc9.mf
-texmf-dist/fonts/source/public/velthuis/dvpn10.mf
-texmf-dist/fonts/source/public/velthuis/dvpn8.mf
-texmf-dist/fonts/source/public/velthuis/dvpn9.mf
-texmf-dist/fonts/source/public/velthuis/dvpnn10.mf
-texmf-dist/fonts/source/public/velthuis/dvpnn8.mf
-texmf-dist/fonts/source/public/velthuis/dvpnn9.mf
-texmf-dist/fonts/tfm/public/velthuis/dvnb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbbi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbbi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbbi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnbi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnc10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnc8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnc9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncbi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncbi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvncbi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnci10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnci8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnci9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvng10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvng8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvng9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngbi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngbi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngbi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvngi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnn10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnn8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnn9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnbi10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnbi8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnnbi9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnni10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnni8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvnni9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpb10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpb8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpb9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpc10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpc8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpc9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpn10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpn8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpn9.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpnn10.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpnn8.tfm
-texmf-dist/fonts/tfm/public/velthuis/dvpnn9.tfm
-texmf-dist/fonts/type1/public/velthuis/dvnb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbbi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbbi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbbi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnbi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnc10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnc8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnc9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncbi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncbi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvncbi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnci10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnci8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnci9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvng10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvng8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvng9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngbi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngbi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngbi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvngi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnn10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnn8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnn9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnbi10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnbi8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnnbi9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnni10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnni8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvnni9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpb10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpb8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpb9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpc10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpc8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpc9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpn10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpn8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpn9.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpnn10.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpnn8.pfb
-texmf-dist/fonts/type1/public/velthuis/dvpnn9.pfb
-texmf-dist/tex/latex/velthuis/dev.sty
-texmf-dist/tex/latex/velthuis/dev209.sty
-texmf-dist/tex/latex/velthuis/devanagari.sty
-texmf-dist/tex/latex/velthuis/udn.fd
-texmf-dist/tex/latex/velthuis/udnb.fd
-texmf-dist/tex/latex/velthuis/udnc.fd
-texmf-dist/tex/latex/velthuis/udnn.fd
-texmf-dist/tex/latex/velthuis/udnp.fd
-texmf-dist/tex/latex/velthuis/udnpb.fd
-texmf-dist/tex/latex/velthuis/udnpc.fd
-texmf-dist/tex/latex/velthuis/udnpn.fd
-texmf-dist/tex/plain/velthuis/dnmacs.tex
-texmf/lists/velthuis
-!addMixedMap dvng.map