a4paper;
authorwenzelm
Mon Oct 11 11:04:56 1999 +0200 (1999-10-11)
changeset 7827c9c615d970db
parent 7826 c6a8b73b6c2a
child 7828 85d7dd40106a
a4paper;
doc-src/Intro/intro.tex
     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