Added basic infrastructure for versions and URLs.
This commit is contained in:
parent
3726304c9d
commit
cef99fadc0
|
@ -25,7 +25,11 @@
|
|||
\RequirePackage{fp}
|
||||
|
||||
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
||||
\newcommand{\isadofversion}{Unreleased/2019\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{\isadofversion}{\dofversion/\isabelleversion\xspace}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
% begin: newcommand wrapper
|
||||
|
|
Loading…
Reference in New Issue