| changeset 9695 | ec7d7f877712 |
| parent 8979 | 802acc97fdaf |
| child 14149 | fac076f0c71c |
--- a/doc-src/Ref/ref.tex Mon Aug 28 13:50:24 2000 +0200 +++ b/doc-src/Ref/ref.tex Mon Aug 28 13:52:38 2000 +0200 @@ -1,5 +1,5 @@ \documentclass[12pt,a4paper]{report} -\usepackage{graphicx,../iman,../extra,../proof,../rail,../pdfsetup} +\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,../pdfsetup} %% $Id$ %%\includeonly{}