From 57923ad393ebefd60bf5cb9d102da98b5a03f5df Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 31 Mar 2019 00:14:47 +0000 Subject: [PATCH] Removed all definitions that are semantically equivalent to their default variant. --- .../latex/DOF-CENELEC_50128.sty | 66 --------- .../latex/DOF-scholarly_paper.sty | 126 ------------------ .../latex/DOF-technical_report.sty | 73 ---------- 3 files changed, 265 deletions(-) diff --git a/document-generator/latex/DOF-CENELEC_50128.sty b/document-generator/latex/DOF-CENELEC_50128.sty index ad5f5e4..edb734b 100644 --- a/document-generator/latex/DOF-CENELEC_50128.sty +++ b/document-generator/latex/DOF-CENELEC_50128.sty @@ -17,69 +17,3 @@ Document-Type Support Framework for Isabelle (CENELEC 50128).] \RequirePackage{DOF-COL} - - -\newkeycommand\isaDofSectionRequirement[label=,type=,main_author=,long_name=][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} - -\newkeycommand\isaDofSubSectionRequirement[label=,type=,main_author=,long_name=][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} - -\newkeycommand\isaDofSectionInterface[label=,type=,main_author=,kind=][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} - - -\newkeycommand\isaDofTextEc[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} - -\newkeycommand\isaDofTextSrac[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} - -\newisadof{text.CENELEC_50128.assumption}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} - -\newisadof{text.CENELEC_50128.hypothesis}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} - -\newisadof{text.CENELEC_50128.srac}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} -\newisadof{text.CENELEC_50128.ec}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} -\newisadof{text.CENELEC_50128.test_result}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} - -\newisadof{text.CENELEC_50128.SRAC}% -[label=,type=,assumption=][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} diff --git a/document-generator/latex/DOF-scholarly_paper.sty b/document-generator/latex/DOF-scholarly_paper.sty index e6405a2..833765a 100644 --- a/document-generator/latex/DOF-scholarly_paper.sty +++ b/document-generator/latex/DOF-scholarly_paper.sty @@ -142,129 +142,3 @@ } % end: scholarly_paper.abstract %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.introduction -\newisadof{section.scholarly_paper.introduction}% -[label=,type=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -\newisadof{subsection.scholarly_paper.introduction}% -[label=,type=,level=% -,scholarly_paper.level=% -,scholarly_paper.introduction.level=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \typeout{L1: \commandkey{level}} - \typeout{L2: \commandkey{scholarly_paper.level}} - \typeout{L3: \commandkey{scholarly_paper.introdution.level}} - \isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -\newisadof{text.scholarly_paper.introduction_elem}% -[label=,type=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} -\newisadof{text.scholarly_paper.introduction}% -[label=,type=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} -% end: scholarly_paper.introduction -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.introduction -\newisadof{section.scholarly_paper.text_section}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.introduction -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.technical -\newisadof{section.scholarly_paper.technical}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -\newisadof{subsection.scholarly_paper.technical}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.technical -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.example -\newisadof{section.scholarly_paper.example}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -\newisadof{subsection.scholarly_paper.example}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsubsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.example -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.conclusion -\newisadof{section.scholarly_paper.conclusion}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.conclusion -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.conclusion -\newisadof{subsection.scholarly_paper.conclusion}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.conclusion -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.bibliography -\newisadof{section.scholarly_paper.bibliography}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.bibliography diff --git a/document-generator/latex/DOF-technical_report.sty b/document-generator/latex/DOF-technical_report.sty index ca5928e..0c4edf3 100644 --- a/document-generator/latex/DOF-technical_report.sty +++ b/document-generator/latex/DOF-technical_report.sty @@ -28,76 +28,3 @@ }{% {\PackageError{DOF-scholarly_paper}{Scholarly Paper only supports LNCS or scrartcl as document class.}{}\stop}% } - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.introduction -\newisadof{chapter.scholarly_paper.introduction}% -[label=,type=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupchapter{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.introduction -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.introduction -\newisadof{chapter.scholarly_paper.text_section}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupchapter{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.introduction -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.technical -\newisadof{chapter.scholarly_paper.technical}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupchapter{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.technical -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.example -\newisadof{chapter.scholarly_paper.example}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupchapter{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.example -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% begin: scholarly_paper.conclusion -\newisadof{chapter.scholarly_paper.conclusion}% -[label=,type=% -,scholarly_paper.text_section.main_author=% -,scholarly_paper.text_section.fixme_list=% -][1]{% - \isamarkupfalse\isamarkupchapter{#1}\label{\commandkey{label}}\isamarkuptrue% -} -% end: scholarly_paper.conclusion -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -\newisadof{text.technical_report.front_matter}% -[label=,type=% -,scholarly_paper.introduction.main_author=% -,scholarly_paper.introduction.fixme_list=% -][1]{% - \begin{isamarkuptext}% - #1 - \end{isamarkuptext}% -} -% end: scholarly_paper.introduction