diff --git a/my-listings.sty b/my-listings.sty index 58156e598ea5d56a8cb18ce333e869265cc5528f..de0b66c9a41c17e416cab038ee27a9898f7016e7 100644 --- a/my-listings.sty +++ b/my-listings.sty @@ -1,5 +1,5 @@ %% personal config for listings -%% C. Garion, 2012-2017 +%% C. Garion, 2012-2025 %% \NeedsTeXFormat{LaTeX2e}[1995/12/01] \ProvidesPackage{my-listings}[2022/09/15 v1.0 @@ -85,12 +85,17 @@ mathescape=true } +\newcommand{\salgo}[1]{\lstinline[language=algo]{#1}} + \lstdefinelanguage{ADT}{ morekeywords={sorts, operations, equations, preconditions},, identifierstyle=\color{black}, mathescape=true } +\newcommand{\sadt}[1]{\lstinline[style=ADT,identifierstyle=\color{gray!70!black}]{#1}} +\newcommand{\sadtt}[1]{\lstinline[style=ADT,identifierstyle=\color{white}]{#1}} + \lstdefinelanguage{PrologInt}{ morekeywords={Redo, Call, Fatal, Error, error, ERROR, yes, no, true, false}, keywordstyle=\color{black}\bfseries, @@ -278,4 +283,4 @@ \fi \makeatother -\endinput \ No newline at end of file +\endinput