doc-src/Intro/intro.tex
changeset 2656 71097a167f0b
parent 1878 ac8e534b4834
child 2976 7c848e330a80
     1.1 --- a/doc-src/Intro/intro.tex	Mon Feb 17 18:12:03 1997 +0100
     1.2 +++ b/doc-src/Intro/intro.tex	Thu Feb 20 14:59:02 1997 +0100
     1.3 @@ -1,4 +1,10 @@
     1.4 -\documentstyle[a4,12pt,proof209,iman,extra]{article}
     1.5 +\documentstyle[a4,12pt]{article}
     1.6 +\makeatletter
     1.7 +\input{../proof209.sty}
     1.8 +\input{../iman.sty}
     1.9 +\input{../extra.sty}
    1.10 +\makeatother
    1.11 +
    1.12  %% $Id$
    1.13  %% run    bibtex intro         to prepare bibliography
    1.14  %% run    ../sedindex intro    to prepare index file