vdmlisting (10nov20)

git-svn-id: svn://tug.org/texlive/trunk@56905 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 11 insertions, 6 deletions

diff --git a/Master/texmf-dist/doc/latex/vdmlisting/README b/Master/texmf-dist/doc/latex/vdmlisting/README
index 66383edd176..ec31c3b2d60 100644
--- a/Master/texmf-dist/doc/latex/vdmlisting/README
+++ b/Master/texmf-dist/doc/latex/vdmlisting/README
@@ -1,5 +1,5 @@
 VdmListing package
-Copyright 2012--2013 Kenneth Lausdahl (the 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' 
diff --git a/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf b/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf
index 136708dbd58..d856550a16e 100644
--- a/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf
+++ b/Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdf
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}