changeset 7827 | c9c615d970db |
parent 6611 | 08dfd050b373 |
child 8828 | 5be2d1745c61 |
--- a/doc-src/Intro/intro.tex Mon Oct 11 10:53:39 1999 +0200 +++ b/doc-src/Intro/intro.tex Mon Oct 11 11:04:56 1999 +0200 @@ -1,5 +1,5 @@ -\documentclass[12pt]{article} -\usepackage{graphicx,a4,../iman,../extra,../proof,../pdfsetup} +\documentclass[12pt,a4paper]{article} +\usepackage{graphicx,../iman,../extra,../proof,../pdfsetup} %% $Id$ %% run bibtex intro to prepare bibliography