texlive-vdmlisting - Typesetting VDM in ASCII syntax
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
- Description:
The package is an extension for the listings package that provides a source code printer for LaTeX. 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 date: 2013-04-16 11:30:34 +0200
Packages
| texlive-vdmlisting-svn29944.1.0-1.1.el7.fc21.noarch [20 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |