# HG changeset patch
# User wenzelm
# Date 939747927 -7200
# Node ID d4fb2d14edd4d00f9fb96e4e28a3853be960edd4
# Parent  7a9270282fd31f3f6551b1e73a8b6fc8afb18520
a4paper;

diff -r 7a9270282fd3 -r d4fb2d14edd4 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Tue Oct 12 19:04:25 1999 +0200
+++ b/doc-src/Logics/logics.tex	Tue Oct 12 19:05:27 1999 +0200
@@ -1,6 +1,6 @@
 %% $Id$
-\documentclass[12pt]{report}
-\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
+\documentclass[12pt,a4paper]{report}
+\usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
 
 %%%STILL NEEDS MODAL, LCF
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}