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

Cleanup.

This commit is contained in:
Achim D. Brucker 2020-09-08 00:11:22 +01:00
parent ee251a8000
commit 6c2ad62df2
1 changed files with 3 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,8 +42,8 @@
\pagestyle{headings}
\uppertitleback{
Copyright \copyright{} 2019\phantom{--2019} University of Exeter, UK\\
\phantom{Copyright \copyright{}} 2018--2019 Universit\'e Paris-Saclay, France\\
Copyright \copyright{} 2019--2020 University of Exeter, UK\\
\phantom{Copyright \copyright{}} 2018--2020 Universit\'e Paris-Saclay, France\\
\phantom{Copyright \copyright{}} 2018--2019 The University of Sheffield, UK\\
\smallskip
@ -119,16 +119,6 @@ France, and therefore granted with public funds of the Program ``Investissements
\AtBeginDocument{\isabellestyle{literal}\newcommand{\lstnumberautorefname}{Line}}
\renewcommand{\isacommand}[1]{\textcolor{OliveGreen!60}{\ttfamily\bfseries #1}}
%\newtcolorbox{mybox}[1]{colback=red!5!white,colframe=red!75!black,fonttitle=\bfseries,title=#1},
%\newenvironment{isarbox}
%{\begin{mybox}}
%{\end{mybox}}
%\newenvironment{isarbox}
%{\begin{isar}}
%{\end{isar}}
\newenvironment{isarbox}
{AAA - bu isarbox}
{ZZZ - bu isarbox}
{ZZZ - bu isarbox}