nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Removed list of SRACs/ECs.

This commit is contained in:
Achim D. Brucker 2019-08-04 22:39:32 +01:00
parent e2dee5addb
commit c70dec328e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -43,7 +43,8 @@
\author{<AUTHOR>}
\newcommand{\dof}{DOF\xspace}
\renewcommand{\listofSRACs}{\relax}
\renewcommand{\listofECs}{\relax}
\pagestyle{headings}
\uppertitleback{