CTAN Comprehensive TeX Archive Network

New on CTAN: vdmlisting

Date: April 15, 2013 10:42:42 PM CEST
Kenneth Lausdahl submitted the vdmlisting package. Summary description: Typesetting VDM in ASCII syntax License type: lppl Announcement text:
This is a new package that defined a number of listing environments that enables VDM model to be displayed in ASCII.
This package is located at http://mirror.ctan.org/macros/latex/contrib/vdmlisting . More information is at http://www.ctan.org/pkg/vdmlisting (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Rainer Schöpf

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

Packagevdmlisting
Version1.1
Copyright2012–2020 Kenneth Lausdahl
MaintainerKenneth Lausdahl

Announcements

more

Guest Book Sitemap Contact Contact Author