name vdmlisting
category Package
revision 29944
shortdesc Typesetting VDM in ASCII syntax.
relocated 1
longdesc The package is an extension for the listings package that
longdesc provides a source code printer for LaTeX. This package defines
longdesc new language definitions and listing environments for the three
longdesc language dialects of the Vienna Development Method: VDM-SL, VDM-
longdesc PP and VDM-RT. If one wants to typeset VDM with a mathematical
longdesc syntax instead of the ASCII syntax used here one should use the
longdesc vdm pacakge instead
runfiles size=2
 RELOC/tex/latex/vdmlisting/vdmlisting.sty
catalogue-ctan /macros/latex/contrib/vdmlisting
catalogue-date 2013-06-19 11:29:28 +0200
catalogue-license lppl
catalogue-version 1.0