forked from Isabelle_DOF/Isabelle_DOF
Activate literal Isabelle style.
This commit is contained in:
parent
f1a6b6c60f
commit
b920423212
|
@ -123,4 +123,5 @@ France, and therefore granted with public funds of the Program ``Investissements
|
|||
\end{minipage}
|
||||
}
|
||||
|
||||
\AtBeginDocument{\isabellestyle{literal}}
|
||||
\renewcommand{\isacommand}[1]{\textcolor{OliveGreen!60}{\ttfamily\bfseries #1}}
|
||||
|
|
Loading…
Reference in New Issue