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