doc-src/Intro/intro.tex
changeset 9695 ec7d7f877712
parent 8979 802acc97fdaf
child 14148 6580d374a509
     1.1 --- a/doc-src/Intro/intro.tex	Mon Aug 28 13:50:24 2000 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Mon Aug 28 13:52:38 2000 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  \documentclass[12pt,a4paper]{article}
     1.5 -\usepackage{graphicx,../iman,../extra,../proof,../pdfsetup}
     1.6 +\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../pdfsetup}
     1.7  
     1.8  %% $Id$
     1.9  %% run    bibtex intro         to prepare bibliography