From 342984df3b658e1962ac996feec4b2475a029645 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 4 Aug 2023 07:01:42 +0100 Subject: [PATCH] Converted def into newcommand. --- Isabelle_DOF/latex/styles/DOF-core.sty | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Isabelle_DOF/latex/styles/DOF-core.sty b/Isabelle_DOF/latex/styles/DOF-core.sty index fc467de..bd5a2be 100644 --- a/Isabelle_DOF/latex/styles/DOF-core.sty +++ b/Isabelle_DOF/latex/styles/DOF-core.sty @@ -156,13 +156,13 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % begin: label and ref \newkeycommand\isaDof@label[label=,type=][1]{\label{#1}} -\def\isaDofDOTlabel{\isaDof@label} +\newcommand{\isaDofDOTlabel}{\isaDof@label} \newkeycommand\isaDof@ref[label=,type=][1]{\autoref{#1}} -\def\isaDofDOTref{\isaDof@ref} +\newcommand{\isaDofDOTref}{\isaDof@ref} \newkeycommand\isaDof@macro[label=,type=][1]{MMM \label{#1}} %% place_holder -\def\isaDofDOTmacroDef{\iisaDof@macro} +\newcommand{\isaDofDOTmacroDef}{\iisaDof@macro} \newkeycommand\isaDof@macroExp[label=,type=][1]{MMM \autoref{#1}} %% place_holder -\def\isaDofDOTmacroExp{\isaDof@macroExp} +\newcommand{\isaDofDOTmacroExp}{\isaDof@macroExp} % end: label and ref %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%