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

Added support for \isabellefullversion and \isabelleurl.

This commit is contained in:
Achim D. Brucker 2019-08-04 13:25:56 +01:00
parent 5a532ec973
commit a7418304ed
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,7 +24,9 @@
\RequirePackage{etoolbox}
\RequirePackage{fp}
\newcommand{\isabelleurl}{UNDEFINED}
\newcommand{\dof@isabelleversion}{UNDEFINED}
\newcommand{\isabellefullversion}{UNDEFINED\xspace}
\newcommand{\dof@version}{UNDEFINED}
\newcommand{\dof@baseurl}{UNDEFINED}