1.1 --- a/doc-src/Nitpick/nitpick.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  \usepackage{multicol}
     1.5  \usepackage{stmaryrd}
     1.6  %\usepackage[scaled=.85]{beramono}
     1.7 -\usepackage{../isabelle,../iman,../pdfsetup}
     1.8 +\usepackage{../../lib/texinputs/isabelle,../iman,../pdfsetup}
     1.9  
    1.10  %\oddsidemargin=4.6mm
    1.11  %\evensidemargin=4.6mm