Index of /archives/text/CTAN/macros/latex/contrib/vdmlisting

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 README                                    2020-11-10 07:46  414   
 vdmlisting.pdf                            2020-11-10 07:45   66K  
 vdmlisting.sty                            2020-11-10 07:45  9.4K  
 vdmlisting.tex                            2020-11-10 07:44  4.3K  

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.