Comprehensive TeX Archive Network

Direc­tory tex-archive/macros/latex/contrib/vdmlisting

VdmListing package
Copyright 2012--2013 Kenneth Lausdahl (the package)
Released under the LaTeX Project Public License 1.3 or later

The `vdmlisting' package is an extension for the 'listings' 
package that provides a source code printer for LaTeX.
This package defines new language definitions and listing 
environments for the three language dialects of the 
Vienna Development Method: VDM-SL, VDM-PP and VDM-RT.


Name Size Date Notes
README 414 2013-04-12 00:07
vdm­list­ing.pdf 75045 2013-04-13 23:09
vdm­list­ing.sty 6023 2013-04-11 09:56
vdm­list­ing.tex 4177 2013-04-13 23:09

Down­load the con­tents of this pack­age in one zip archive (69.0k).

vdm­list­ing – Type­set­ting VDM in ASCII syn­tax

The pack­age is an ex­ten­sion for the list­ings pack­age that pro­vides a source code printer for LaTeX. This pack­age de­fines new lan­guage def­i­ni­tions and list­ing en­vi­ron­ments for the three lan­guage di­alects of the Vi­enna Devel­op­ment Method: VDM-SL, VDM-PP and VDM-RT. If one wants to type­set VDM with a math­e­mat­i­cal syn­tax in­stead of the ASCII syn­tax used here one should use the vdm pacakge in­stead

Pack­age De­tailsvdm­list­ing
Li­censeThe LaTeX Project Public Li­cense
Main­tainerKen­neth Laus­dahl
Con­tained inTeX Live as vdm­list­ing
MiKTeX as vdm­list­ing
Topics com­puter code list­ing
type­set for­mal spec­i­fi­ca­tion lan­guages
See also listing
Guest Book Sitemap Contact Contact Author