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

Ensure compatibility with TeX Live 2019 (as used by AFP's build servers).

This commit is contained in:
Achim D. Brucker 2023-05-17 13:57:35 +02:00
parent 2dc16b263f
commit 8051d4233e
3 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isabelle_DOF-Example-I/document/lstisadof-manual.sty
View File

@ -90,9 +90,7 @@
,enhanced jigsaw ,enhanced jigsaw
,borderline west={2pt}{0pt}{isar!60!black} ,borderline west={2pt}{0pt}{isar!60!black}
,sharp corners ,sharp corners
,before skip balanced=0.5\baselineskip plus 2pt %,before skip balanced=0.5\baselineskip plus 2pt % works only with Tex Live 2020 and later
% ,before skip=10pt
% ,after skip=10pt
,enlarge top by=0mm ,enlarge top by=0mm
,enhanced ,enhanced
,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north ,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north

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

@ -90,9 +90,7 @@
,enhanced jigsaw ,enhanced jigsaw
,borderline west={2pt}{0pt}{isar!60!black} ,borderline west={2pt}{0pt}{isar!60!black}
,sharp corners ,sharp corners
,before skip balanced=0.5\baselineskip plus 2pt %,before skip balanced=0.5\baselineskip plus 2pt % works only with Tex Live 2020 and later
% ,before skip=10pt
% ,after skip=10pt
,enlarge top by=0mm ,enlarge top by=0mm
,enhanced ,enhanced
,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north ,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north

4
Isabelle_DOF/document/lstisadof-manual.sty
View File

@ -90,9 +90,7 @@
,enhanced jigsaw ,enhanced jigsaw
,borderline west={2pt}{0pt}{isar!60!black} ,borderline west={2pt}{0pt}{isar!60!black}
,sharp corners ,sharp corners
,before skip balanced=0.5\baselineskip plus 2pt %,before skip balanced=0.5\baselineskip plus 2pt % works only with Tex Live 2020 and later
% ,before skip=10pt
% ,after skip=10pt
,enlarge top by=0mm ,enlarge top by=0mm
,enhanced ,enhanced
,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north ,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north