adbrucker
/
logicalhacking-latex
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Introduced \isabelletext{}.

This commit is contained in:
Achim D. Brucker 2020-05-08 21:21:59 +01:00
parent 649d9fe457
commit 07af76712e
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lh-misc/lh-listings.sty
View File

@ -185,6 +185,7 @@
% %
}% }%
%% %%
\newcommand{\isabellefont}{\ttfamily}
\IfFileExists{lh-listings-isar.sty}{\usepackage{lh-listings-isar}} \IfFileExists{lh-listings-isar.sty}{\usepackage{lh-listings-isar}}
\providecolor{isar}{named}{blue} \providecolor{isar}{named}{blue}
@ -206,8 +207,10 @@
at (frame.north east) {Isabelle (Isar)};} at (frame.north east) {Isabelle (Isar)};}
,listing options={ ,listing options={
style=isar style=isar
,basicstyle=\lhdisplayfontsize\ttfamily ,basicstyle=\lhdisplayfontsize\isabellefont
,mathescape ,mathescape
,keepspaces
,extendedchars
,#1 ,#1
} }
}% }%