diff --git a/spec/doc.tex b/spec/doc.tex index 62288814cd82f645e21b5264bcb459f0a1b03444..6217b445efb90e00c879602d6a3a8af6cdeb2dce 100644 --- a/spec/doc.tex +++ b/spec/doc.tex @@ -10,9 +10,18 @@ \usepackage{minted} \usemintedstyle{trac} -% 2023+ minted for custom lexers -\newminted[AletheVerb]{./highlight.py:SMTLibLexer}{} -\newmintinline[inlineAlethe]{./highlight.py:SMTLibLexer}{} +\makeatletter +\@ifundefined{MintedPygmentize}{ + % minted >= 3.0.0 + \newminted[AletheVerb]{./highlight.py:SMTLibLexer}{} + \newmintinline[inlineAlethe]{./highlight.py:SMTLibLexer}{} +}{ + % minted < 3.0.0 + \renewcommand{\MintedPygmentize}{./highlight.py} + \newminted[AletheVerb]{smt-lib}{} + \newmintinline[inlineAlethe]{smt-lib}{} +} +\makeatother \usepackage{cite} \usepackage{url} @@ -167,6 +176,8 @@ break } \makeatother +\listfiles + \NewEnviron{RuleDescription}[1]{% \renewcommand\currule{\proofRule{#1}} \index[rules]{#1}