Directory macros/latex/contrib/vdmlisting

VdmListing package
Copyright 2012--2020 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.

Download the contents of this package in one zip archive (69.8k).

vdmlisting – Typesetting VDM in ASCII syntax

The 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. If one wants to typeset VDM with a mathematical syntax instead of the ASCII syntax used here one should use the vdm pacakge instead

Package	vdmlisting
Version	1.1
Licenses	The LaTeX Project Public License 1.3
Copyright	2012–2020 Kenneth Lausdahl
Maintainer	Kenneth Lausdahl
Contained in	TeX Live as vdmlisting MiKTeX as vdmlisting
Topics	Formal specification Listing
See also	listing vdm