![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 11-Apr-2013 22:07 | 414 | |
| vdmlisting.pdf | 13-Apr-2013 21:09 | 73K | |
| vdmlisting.sty | 11-Apr-2013 07:56 | 5.9K | |
| vdmlisting.tex | 13-Apr-2013 21:09 | 4.1K | |
VdmListing package Copyright 2012--2013 Kenneth Lausdahl (the package) Released under the LaTeX Project Public License 1.3 or later The `vdmlisting' 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.