New on CTAN: vdmlisting

CTAN Announcements ctan-ann at
Mon Apr 15 22:42:42 CEST 2013

Kenneth Lausdahl submitted the



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
.  More information is at
(if the package is new it may take a day for that information to 
appear).  We are supported by the TeX Users Group .  
Please join a users group; see .


Thanks for the upload.

For the CTAN Team
  Rainer Schöpf

More information about the Ctan-ann mailing list