changeset 7838 | 5aca258fedcf |
parent 7258 | b228e54a02c5 |
child 7849 | 29a2a1d71128 |
--- a/doc-src/System/system.tex Tue Oct 12 19:05:27 1999 +0200 +++ b/doc-src/System/system.tex Tue Oct 12 19:14:06 1999 +0200 @@ -1,8 +1,8 @@ %% $Id$ -\documentclass[12pt]{report} -\usepackage{graphicx,a4,../iman,../extra,../pdfsetup} +\documentclass[12pt,a4paper]{report} +\usepackage{graphicx,../iman,../extra,../pdfsetup} \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}