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