# HG changeset patch
# User wenzelm
# Date 939632696 -7200
# Node ID c9c615d970db419d23747dd6d157ff23da94744e
# Parent  c6a8b73b6c2a150a2d35467fd164d2e60886f0a2
a4paper;

diff -r c6a8b73b6c2a -r c9c615d970db doc-src/Intro/intro.tex
--- 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