Update isarbox title

2022-02-08 12:21:39 +01:00 · 2022-02-08 12:21:39 +01:00 · 00511848ed
parent d96d6124ef
commit 00511848ed
1 changed files with 1 additions and 1 deletions
--- a/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty
+++ b/examples/scholarly_paper/2021-ITP-PMTI/document/lstisadof.sty
@ -100,7 +100,7 @@
     ,enhanced
     ,overlay={\node[draw,fill=isar!60!black,xshift=0pt,anchor=north
       east,font=\bfseries\footnotesize\color{white}]
-                at (frame.north east) {Isar};}
+                at (frame.north east) {Isabelle code};}
 }
 %% </isar>
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%