vdm Package 2000/04/06 08:37:33 rahtz Typesetting VDM schemas. The package conforms to the BSI concrete syntax for VDM, and enables the user to concentrate on VDM specifications rather than typesetting format. Note that it does not cover all of BSI VDM. [description copied from TeX Catalogue] unknown 162392 texmf-dist/tex/latex/vdm/vdm.sty texmf-dist/tpm/vdm.tpm texmf-dist/doc/latex/vdm/vdm.dvi texmf-dist/doc/latex/vdm/vdm.tex Package/vdm