Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: texlive-vdmlisting | Distribution: OpenMandriva Lx |
Version: 56905 | Vendor: OpenMandriva |
Release: 1 | Build date: Tue Nov 15 01:10:19 2022 |
Group: Publishing | Build host: builder2-1.openmandriva.org |
Size: 81746 | Source RPM: texlive-vdmlisting-56905-1.src.rpm |
Packager: bero <bero@lindev.ch> | |
Url: http://www.ctan.org/tex-archive/macros/latex/contrib/vdmlisting | |
Summary: Typesetting VDM in ASCII syntax |
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.
LPPL
/usr/share/texmf-dist/doc/latex/vdmlisting/README /usr/share/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf /usr/share/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex /usr/share/texmf-dist/tex/latex/vdmlisting/vdmlisting.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Dec 27 23:14:26 2024