Added version independent DOI.

.config

@@ -3,6 +3,7 @@ DOF_VERSION="Unreleased"    # "Unreleased" for development, semantic version for
 DOF_LATEST_VERSION="1.0.0"    
 DOF_LATEST_ISABELLE="Isabelle2019"    
 DOF_LATEST_DOI="10.5281/zenodo.3370483"
+DOF_GENERIC_DOI="10.5281/zenodo.3370482"
 #
 # Isabelle and AFP Configuration
 ISABELLE_VERSION="Isabelle2019: June 2019"

examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex

@@ -78,7 +78,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 \lowertitleback{%
 This manual describes \isadof version \isadofversion.  The latest official 
-release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\isadoflatestdoi}).  The latest development version as well as official releases are available at 
+release is \isadoflatestversion{} (\href{https://doi.org/\isadoflatestdoi}{doi:\isadoflatestdoi}). The DOI \href{https://doi.org/\isadofgenericdoi}{\isadofgenericdoi} will allways point to the latest release.  The latest development version as well as official releases are available at 
 \url{\dofurl}.
 
 \paragraph*{Contributors.} We would like to thank the following contributors to \isadof 

install

@@ -218,6 +218,7 @@ install_and_register(){
       \\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
       \\\\renewcommand{\\\\doflatestversion}{$DOF_LATEST_VERSION} \
       \\\\renewcommand{\\\\isadoflatestdoi}{$DOF_LATEST_DOI} \
+      \\\\renewcommand{\\\\isadofgenericdoi}{$DOF_GENERIC_DOI} \
       \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
       \\\\renewcommand{\\\\dofurl}{$DOF_URL} \
       \\\\renewcommand{\\\\dof@artifacturl}{https://$DOF_ARTIFACT_HOST/$DOF_ARTIFACT_DIR}|" \

src/DOF/latex/DOF-core.sty

@@ -32,6 +32,7 @@
 \newcommand{\dof@artifacturl}{UNDEFINED}
 \newcommand{\doflatestversion}{UNDEFINED}
 \newcommand{\isadoflatestdoi}{UNDEFINED}
+\newcommand{\isadofgenericdoi}{UNDEFINED}
 \newcommand{\isabellelatestversion}{Isabelle2019}
 
 %%% CONFIG %%%