diff --git a/Isabelle_DOF-Ontologies/document-templates/root-beamer-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-beamer-UNSUPPORTED.tex index 6306e5a..c90ab0b 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-beamer-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-beamer-UNSUPPORTED.tex @@ -21,6 +21,7 @@ \RequirePackage{ifvtex} \documentclass[16x9,9pt]{beamer} \PassOptionsToPackage{force}{DOF-scholarly_paper} +\title{No Title Given} \usepackage{DOF-core} \usepackage{textcomp} diff --git a/Isabelle_DOF-Ontologies/document-templates/root-beamerposter-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-beamerposter-UNSUPPORTED.tex index 83457c1..783d279 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-beamerposter-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-beamerposter-UNSUPPORTED.tex @@ -21,6 +21,7 @@ \RequirePackage{ifvtex} \documentclass[]{beamer} \PassOptionsToPackage{force}{DOF-scholarly_paper} +\title{No Title Given} \usepackage{beamerposter} \usepackage{DOF-core} diff --git a/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex index 8c0906b..77c4dc3 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex @@ -23,6 +23,7 @@ %% preamble.tex. \documentclass[submission,copyright,creativecommons]{eptcs} +\title{No Title Given} \usepackage{DOF-core} \bibliographystyle{eptcs}% the mandatory bibstyle diff --git a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex index b59198e..9c43b1c 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex @@ -25,6 +25,7 @@ \documentclass[a4paper,UKenglish,cleveref, autoref,thm-restate]{lipics-v2021} \bibliographystyle{plainurl}% the mandatory bibstyle +\title{No Title Given} \usepackage[numbers, sort&compress, sectionbib]{natbib} \usepackage{DOF-core} diff --git a/Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex index f1d34eb..1f64772 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex @@ -21,6 +21,7 @@ \documentclass[iicol]{sn-jnl} \PassOptionsToPackage{force}{DOF-scholarly_paper} +\title{No Title Given} \usepackage{DOF-core} \bibliographystyle{sn-basic} \let\proof\relax diff --git a/Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex index 8ee88a3..03f09c3 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex @@ -23,6 +23,7 @@ \RequirePackage{fix-cm} \documentclass[]{svjour3} +\title{No Title Given} \usepackage{DOF-core} \usepackage{mathptmx} \bibliographystyle{abbrvnat} diff --git a/Isabelle_DOF/latex/document-templates/root-lncs.tex b/Isabelle_DOF/latex/document-templates/root-lncs.tex index c2827a0..115ed04 100644 --- a/Isabelle_DOF/latex/document-templates/root-lncs.tex +++ b/Isabelle_DOF/latex/document-templates/root-lncs.tex @@ -23,7 +23,7 @@ \documentclass{llncs} \usepackage{DOF-core} \bibliographystyle{splncs04} - +\title{No Title Given} \usepackage{hyperref} \setcounter{tocdepth}{3} \hypersetup{% diff --git a/Isabelle_DOF/latex/document-templates/root-scrartcl.tex b/Isabelle_DOF/latex/document-templates/root-scrartcl.tex index a6a737f..a006b9c 100644 --- a/Isabelle_DOF/latex/document-templates/root-scrartcl.tex +++ b/Isabelle_DOF/latex/document-templates/root-scrartcl.tex @@ -22,6 +22,7 @@ \RequirePackage{ifvtex} \documentclass[abstract=true,fontsize=11pt,DIV=12,paper=a4]{scrartcl} +\title{No Title Given} \usepackage{DOF-core} \usepackage{textcomp} diff --git a/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex b/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex index 75ac822..81b7186 100644 --- a/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex +++ b/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex @@ -24,6 +24,7 @@ \RequirePackage{ifvtex} \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt} +\title{No Title Given} \usepackage{textcomp} \bibliographystyle{abbrvnat} diff --git a/Isabelle_DOF/latex/document-templates/root-scrreprt.tex b/Isabelle_DOF/latex/document-templates/root-scrreprt.tex index e8c0141..bb5d07b 100644 --- a/Isabelle_DOF/latex/document-templates/root-scrreprt.tex +++ b/Isabelle_DOF/latex/document-templates/root-scrreprt.tex @@ -21,6 +21,7 @@ \RequirePackage{ifvtex} \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt} +\title{No Title Given} \usepackage{DOF-core} diff --git a/Isabelle_DOF/latex/styles/DOF-core.sty b/Isabelle_DOF/latex/styles/DOF-core.sty index 0bfa98c..bd5a2be 100644 --- a/Isabelle_DOF/latex/styles/DOF-core.sty +++ b/Isabelle_DOF/latex/styles/DOF-core.sty @@ -156,17 +156,17 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\title{No Title Given} +%\title{No Title Given} \input{ontologies} \IfFileExists{preamble.tex}{\input{preamble.tex}}{}%