author | wenzelm |
Tue, 12 Oct 1999 19:05:27 +0200 | |
changeset 7837 | d4fb2d14edd4 |
parent 7836 | 7a9270282fd3 |
child 7838 | 5aca258fedcf |
--- 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}