ctan-ann - vdmlisting Announcements of the Comprehensive TeX Archive Network ctan-ann-vdmlisting 2026-05-08T10:36:46Z New on CTAN: vdmlisting mailman.1980.1366058565.18699.ctan-ann@dante.de 2013-04-15T22:42:42Z Kenneth Lausdahl submitted the vdmlisting package. ... 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.
... ]]> CTAN Announcements ctan-ann at dante.de CTAN update: vdmlisting mailman.932.1605087187.2532.ctan-ann@ctan.org 2020-11-11T10:32:56Z Kenneth Lausdahl submitted an update to the vdmlisting package. ... 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 ... ]]> CTAN Announcements ctan-ann at ctan.org