| changeset 73446 | d1c4c2395650 |
| parent 73403 | e19cb4c11409 |
| child 73467 | 090add96f5f9 |
--- a/src/Doc/Isar_Ref/document/root.tex Tue Mar 16 23:30:51 2021 +0100 +++ b/src/Doc/Isar_Ref/document/root.tex Wed Mar 17 22:24:57 2021 +0100 @@ -7,7 +7,7 @@ \usepackage{eurosym} \usepackage{pifont} \usepackage[english]{babel} -\usepackage[only,bigsqcap]{stmaryrd} +\usepackage[only,bigsqcap,fatsemi]{stmaryrd} \usepackage{graphicx} \let\intorig=\int %iman.sty redefines \int \usepackage{iman,extra,isar,proof}