pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added stubs for mathex doc classes.

This commit is contained in:
Achim D. Brucker 2018-06-09 15:27:35 +01:00
parent dbc839b201
commit 37d8467cf3
1 changed files with 73 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
document-generator/latex/DOF-mathex.sty
View File

@ -12,9 +12,80 @@
%% SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
\NeedsTeXFormat{LaTeX2e}\relax
\ProvidesPackage{DOF-scholarly_paper-lncs}
\ProvidesPackage{DOF-mathex}
[0000/00/00 Unreleased v0.0.0+%
Document-Type Support Framework for math classes.]
\RequirePackage{DOF-mathex}
\RequirePackage{DOF-core}
\usepackage{sfmath}
\usepackage{amsmath}
\usepackage{lastpage}
\usepackage{scrlayer-scrpage}
\usepackage{exercise}
\cfoot{\small\textnormal{Page \thepage\ of \pageref{LastPage}}}
\def\dof@author{}%
\def\dof@affiliation{}%
\AtBeginDocument{%
\author{\dof@author}
% \institute{\dof@affiliation}
}
\def\leftadd#1#2{\expandafter\leftaddaux\expandafter{#1}{#2}{#1}}
\def\leftaddaux#1#2#3{\gdef#3{#1#2}}
\newcommand{\addauthor}[1]{%
\ifthenelse{\equal{\dof@author}{}}{%
\gdef\dof@author{#1}%
}{%
\leftadd\dof@author{\protect\and #1}%
}
}
\newkeycommand\isaDofSectionAuthor[label=,type=,affiliation=,email=][1]{%
\immediate\write\@auxout{\noexpand\addauthor{#1}}%
}
\newkeycommand\isaDofSubSectionHeader[label=,type=,examTitle=,examSubject=,date,timeAllowed][1]{%
\immediate\write\@auxout{\noexpand\title{\commandkey{examTitle}}}%
}
\newkeycommand\isaDofTextAnswerFormalStep[label=,type=,justification=,term=][1]{%
#1
}
\newkeycommand\isaDofTextAnswerYesNo[label=,type=,step_label=, yes_no=][1]{%
#1
}
\newkeycommand\isaDofTextExamitem[label=,type=,concerns=][1]{%
#1
}
\newkeycommand\isaDofTextTask[label=,type=,level=,type=,subitems=concerns=,mark=][1]{%
#1
}
\newkeycommand\isaDofSubSubSectionExercise[label=,type=,Exercise.content=,concerns=,][1]{%
\begin{Exercise}
#1
\end{Exercise}
}
\newkeycommand\isaDofSubSubSectionValidation[label=,type=,tests=,proofs=][1]{%
#1
}
\newkeycommand\isaDofSubSubSectionSolution[label=,type=,content=,valids=,concerns=][1]{%
\begin{Answer}
#1
\end{Answer}
}
\newkeycommand\isaDofSubSubSectionMathExam[label=,type=,content=,global_grade=][1]{%
#1
}