doc-src/Locales/Locales/document/root.tex
changeset 42511 bf89455ccf9d
parent 40405 42671298f037
     1.1 --- a/doc-src/Locales/Locales/document/root.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/Locales/Locales/document/root.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{amsmath}
     1.6 -\usepackage{../../../isabelle,../../../isabellesym}
     1.7 +\usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym}
     1.8  \usepackage{verbatim}
     1.9  \usepackage{alltt}
    1.10  \usepackage{array}