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

Synchronised updates.

This commit is contained in:
Achim D. Brucker 2023-05-02 22:34:34 +01:00
parent d9e2f251d2
commit 2c00f4b8db
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
View File

@ -136,12 +136,12 @@
\lstloadlanguages{ML} \lstloadlanguages{ML}
\providecolor{sml}{named}{red} \providecolor{sml}{named}{red}
\lstdefinestyle{sml}{ \lstdefinestyle{sml}{
escapechar=ë,% ,escapechar=ë%
basicstyle=\ttfamily,% ,basicstyle=\ttfamily%
commentstyle=\itshape,% ,commentstyle=\itshape%
keywordstyle=\bfseries\color{CornflowerBlue},% ,keywordstyle=\bfseries\color{CornflowerBlue}%
ndkeywordstyle=\color{green},% ,ndkeywordstyle=\color{green}%
language=ML ,language=ML
% ,literate={% % ,literate={%
% {<@>}{@}1% % {<@>}{@}1%
% } % }