Index of /ctan/macros/latex/contrib/vdmlisting/
| Name | Last Modified | Size | Type |
|---|
| ../ | | - | Directory |
| README | 2020-Nov-09 22:46:18 | 0.4K | text/plain;charset=utf-8 |
| vdmlisting.pdf | 2020-Nov-09 22:45:51 | 65.7K | application/pdf |
| vdmlisting.sty | 2020-Nov-09 22:45:43 | 9.3K | application/octet-stream |
| vdmlisting.tex | 2020-Nov-09 22:44:34 | 4.3K | application/x-tex |
VdmListing package
Copyright 2012--2020 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.