CTAN Comprehensive TeX Archive Network

CTAN update: vdmlisting

Date: November 11, 2020 10:32:56 AM CET
Kenneth Lausdahl submitted an update to the vdmlisting package. Version number: 1.1 License type: lppl1.3 Summary description: Typesetting VDM in ASCII syntax Announcement text:
The vdmlisting 1.1 update adds new language keywords to the package
This package is located at http://mirror.ctan.org/macros/latex/contrib/vdmlisting More information is at https://www.ctan.org/pkg/vdmlisting
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs

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