CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/vdmlisting

README
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 . 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

Packagevdmlisting
Version1.1
LicensesThe Project Public License 1.3
Copyright2012–2020 Kenneth Lausdahl
MaintainerKenneth Lausdahl
Contained inTeX Live as vdmlisting
MiKTeX as vdmlisting
TopicsFormal specification
Listing
See alsolisting
vdm
...
Guest Book Sitemap Contact Contact Author