CTAN Comprehensive TeX Archive Network

Announcements for vdmlisting

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

Copyright2012–2020 Kenneth Lausdahl
MaintainerKenneth Lausdahl

Atom Atom 1.0 feed with announcements for package vdmlisting.
RSS RSS 2.0 feed with announcements for package vdmlisting.

Guest Book Sitemap Contact Contact Author