changeset 27639 | 83e6a4c43d17 |
parent 13951 | e2bf2551eb9a |
child 28216 | 5423ad29648e |
--- a/doc-src/System/system.tex Thu Jul 17 17:11:34 2008 +0200 +++ b/doc-src/System/system.tex Thu Jul 17 20:05:19 2008 +0200 @@ -9,7 +9,7 @@ \usepackage{textcomp} \usepackage{supertabular} \let\intorig=\int %iman.sty redefines \int -\usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup} +\usepackage{graphicx,../iman,../extra,../ttbox,../isabelle,../isabellesym,../pdfsetup} \isabellestyle{it}