diff options
Diffstat (limited to 'macros/latex/contrib/vdmlisting/vdmlisting.tex')
-rw-r--r-- | macros/latex/contrib/vdmlisting/vdmlisting.tex | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/macros/latex/contrib/vdmlisting/vdmlisting.tex b/macros/latex/contrib/vdmlisting/vdmlisting.tex index 673b61a6aa..057e083cdb 100644 --- a/macros/latex/contrib/vdmlisting/vdmlisting.tex +++ b/macros/latex/contrib/vdmlisting/vdmlisting.tex @@ -4,7 +4,7 @@ \usepackage{vdmlisting} \usepackage{hyperref} -\usepackage{vdm} +%\usepackage{vdm} \def\vdmlisting{\texttt{vdmlisting}} \def\envvdmsl{\texttt{vdmsl}} \def\envvdmpp{\texttt{vdmpp}} @@ -15,9 +15,9 @@ Dept. of Engineering\\ Aarhus University\\ Denmark.\\ -\texttt{lausdahl@cs.au.dk}} -\date{10 April 2013 \\ -Version 1.0} +\texttt{kenneth@lausdahl.com}} +\date{10 Novemberl 2020 \\ +Version 1.1} @@ -112,10 +112,15 @@ This package defined three listing environments that can be used to typeset VDM. \end{vdmrt} + \end{description} Furthermore, the environments are configured with \texttt{escapeinside=\{(*@\}\{@*)\}} enabling the command \texttt{\textbackslash vdmnotcovered\{ VDM specification\}} to be used to mark execution coverage for the VDM specification displayed. +\subsection{Previous versions} + +This package includes all environments from the previous version \texttt{1.0} of this package. All environments and language definitions can be post fixed with \texttt{\_10} to get the previous version. + \section{Package loading} As usual in \LaTeX, the package is loaded by \texttt{\textbackslash usepackage[optionsi]\{vdmlisting\}}, where [optionsi] is optional and gives a comma separated list of options: @@ -137,6 +142,6 @@ style files (your system administrator will know where this is). \section{The License} -The vdmlisting.sty and vdmlisting.tex file is copyright 2012--2013 Kenneth Lausdahl and is released under the LaTeX Project Public License 1.3 or later. +The vdmlisting.sty and vdmlisting.tex file is copyright 2012--2020 Kenneth Lausdahl and is released under the LaTeX Project Public License 1.3 or later. \end{document} |