diff options
Diffstat (limited to 'Master/texmf/lists/velthuis')
-rw-r--r-- | Master/texmf/lists/velthuis | 271 |
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 |