changeset 42511 | bf89455ccf9d |
parent 32088 | 2110fcd86efb |
child 42668 | b98f22593f97 |
--- a/doc-src/System/system.tex Sun May 01 00:01:59 2011 +0200 +++ b/doc-src/System/system.tex Sun May 01 16:36:34 2011 +0200 @@ -3,7 +3,7 @@ \usepackage{graphicx} \usepackage{../iman,../extra,../isar,../ttbox} \usepackage[nohyphen,strings]{../underscore} -\usepackage{../isabelle,../isabellesym} +\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} \usepackage{../IsarRef/style} \usepackage{../pdfsetup}