CTAN Comprehensive TeX Archive Network

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

Sources/macros/latex/contrib/vdmlisting
Documentation
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

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

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author