Announcements for vdmlisting

2020-11-11 CTAN update: vdmlisting
2013-04-15 New on CTAN: vdmlisting

vdmlisting – Typesetting VDM in ASCII syntax

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

Package	vdmlisting
Version	1.1
Copyright	2012–2020 Kenneth Lausdahl
Maintainer	Kenneth Lausdahl

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