forked from Isabelle_DOF/Isabelle_DOF
Cleanup.
This commit is contained in:
parent
42b993c289
commit
7d5d8590c2
|
@ -38,10 +38,6 @@
|
||||||
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
\newcommand{\isadof}{Isabelle/DOF\xspace}
|
||||||
|
|
||||||
|
|
||||||
\newkeycommand\isamarkuptextbis[label=,type=,main_author=,fixme_list=][1]{%
|
|
||||||
\isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
|
|
||||||
}
|
|
||||||
|
|
||||||
%%% Local Variables:
|
%%% Local Variables:
|
||||||
%%% mode: latex
|
%%% mode: latex
|
||||||
%%% TeX-master: "root.tex"
|
%%% TeX-master: "root.tex"
|
||||||
|
|
Reference in New Issue