changeset 3096 | ccc2c92bb232 |
parent 2976 | 7c848e330a80 |
child 3127 | 4cc2fe62f7c3 |
--- a/doc-src/Intro/intro.tex Fri May 02 16:18:11 1997 +0200 +++ b/doc-src/Intro/intro.tex Fri May 02 16:18:49 1997 +0200 @@ -1,6 +1,8 @@ -\documentstyle[a4,12pt]{article} +\documentclass[12pt]{article} +\usepackage{a4} + \makeatletter -\input{../proof209.sty} +\input{../proof.sty} \input{../iman.sty} \input{../extra.sty} \makeatother