summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r--Master/texmf-dist/doc/latex/vdmlisting/README2
-rw-r--r--Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.pdfbin75045 -> 67324 bytes
-rw-r--r--Master/texmf-dist/doc/latex/vdmlisting/vdmlisting.tex15
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
Binary files differ
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}