summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex')
-rw-r--r--Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex15
1 files changed, 10 insertions, 5 deletions
diff --git a/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex b/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex
index 673b61a6aa2..057e083cdb0 100644
--- a/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex
+++ b/Master/texmf-dist/doc/latex/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}