| changeset 7837 | d4fb2d14edd4 |
| parent 7457 | e67eed4cd224 |
| child 8828 | 5be2d1745c61 |
--- 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}