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

Definition of standard sectioning commands.

This commit is contained in:
Achim D. Brucker 2018-05-20 09:23:13 +01:00
parent 8cf2820637
commit e3f4e18e7f
1 changed files with 18 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
document-generator/latex/DOF.sty
View File

@ -16,32 +16,23 @@
[0000/00/00 Unreleased v0.0.0+%
Document-Type Support Framework for Isabelle.]
\RequirePackage{keyval}
\RequirePackage{environ}
\RequirePackage{keycommand}
\def\dof@label{}%
\def\dof@labeltype{}%
\def\dof@attributes{}%
\define@key{dof}{label}{\def\dof@label{#1}}%
\define@key{dof}{label_type}{\def\dof@labeltype{#1}}%
\define@key{dof}{attributes}{\def\dof@attributes{#1}}%
\NewEnviron{isamarkuptext*}[1][]{%
\setkeys{dof}{label=defaultlabel,#1}
\centerline{\textsc{Begin Of IsaMarkup Star}}
\begin{itemize}
\item Arguments:
\begin{itemize}
\item Label: \dof@label
\item label\_type: \dof@labeltype
\item attributes: \dof@attributes
\end{itemize}
\item Body:
\BODY
\end{itemize}
\centerline{\textsc{End Of IsaMarkup Star}}
\bigskip
\newkeycommand\isaDofChapter[label=,type=][1]{%
\isamarkupchapter{#1}\label{\commandkey{label}}%
}
\newkeycommand\isaDofSection[label=,type=][1]{%
\isamarkupsection{#1}\label{\commandkey{label}}%
}
\newkeycommand\isaDofSubSection[label=,type=][1]{%
\isamarkupsubsection{#1}\label{\commandkey{label}}%
}
\newkeycommand\isaDofSubSubSection[label=,type=][1]{%
\isamarkupsubsubsection{#1}\label{\commandkey{label}}%
}
\newkeycommand\isaDofParagraph[label=,type=][1]{%
\isamarkupparagraph{#1}\label{\commandkey{label}}%
}
\newkeycommand\isaDofSubParagraph[label=,type=][1]{%
\isamarkupsubparagraph{#1}\label{\commandkey{label}}%
}