New on CTAN: vdmlisting

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


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


More information about the Ctan-ann mailing list