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