Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Restructured macros for release version and download URLs.

This commit is contained in:
Achim D. Brucker 2019-08-03 16:02:54 +01:00
parent 88231c6898
commit e1a16647ce
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/DOF/latex/DOF-core.sty
View File

@ -24,12 +24,21 @@
\RequirePackage{etoolbox}
\RequirePackage{fp}
\newcommand{\isadof}{Isabelle/DOF\xspace}
\newcommand{\isabelleversion}{2019\xspace}
\newcommand{\dofversion}{Unreleased\xspace}
\newcommand{\isadofbaseurl}{https://artifacts.logicalhacking.com}
\newcommand{\isadofarchiveurl}{\isadofbaseurl/Isabelle\_DOF-\dofversion-\isabelleversion.tar.xz}
\newcommand{\dof@isabelleversion}{2019}
\newcommand{\dof@version}{Unreleased}
\newcommand{\dof@baseurl}{https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF}
\newcommand{\isabelleversion}{\dof@isabelleversion\xspace}
\newcommand{\dofversion}{\dof@version\xspace}
\newcommand{\isadofversion}{\dofversion/\isabelleversion\xspace}
\newcommand{\isadofdir}{Isabelle_DOF-\dof@version_\dof@isabelleversion}
\newcommand{\isadofdirn}{Isabelle\_DOF-\dof@version\_\dof@isabelleversion}
\newcommand{\isadofarchive}{\isadofdir.tar.xz}
\newcommand{\isadofarchiven}{\isadofdirn.tar.xz}
\newcommand{\isadofarchiveurl}{\dof@baseurl/\isadofarchive}
\newcommand{\isadof}{Isabelle/DOF\xspace}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% begin: newcommand wrapper