From c7d12045d91ebbcdf6c99ab442490159c4912cea Mon Sep 17 00:00:00 2001
From: bernborgess <bernborgess@outlook.com>
Date: Thu, 13 Mar 2025 16:18:53 -0300
Subject: [PATCH] Add conditional to import `minted` for all versions
---
spec/doc.tex | 17 ++++++++++++++---
1 file changed, 14 insertions(+), 3 deletions(-)
diff --git a/spec/doc.tex b/spec/doc.tex
index 6228881..6217b44 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}
--
GitLab