vdmlisting

Typesetting VDM in ASCII syntax

Version:
1.1
Copyright:
Kenneth Lausdahl
License:
lppl1.3
Packaged on:
11/24/2020 21:11:55
Number of files:
5
Size on disk:
78.64 kB

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