fixed packages;
authorwenzelm
Thu May 22 10:34:23 1997 +0200 (1997-05-22)
changeset 32859a3fe25f30bb
parent 3284 b7f0c0af4071
child 3286 321f49dae373
fixed packages;
doc-src/Intro/intro.tex
doc-src/Ref/ref.tex
doc-src/System/system.tex
     1.1 --- a/doc-src/Intro/intro.tex	Thu May 22 10:04:04 1997 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Thu May 22 10:34:23 1997 +0200
     1.3 @@ -1,7 +1,8 @@
     1.4  \documentclass[12pt]{article}
     1.5 -\usepackage{a4,proof}
     1.6 +\usepackage{a4}
     1.7  
     1.8  \makeatletter
     1.9 +\input{../proof.sty}
    1.10  \input{../iman.sty}
    1.11  \input{../extra.sty}
    1.12  \makeatother
     2.1 --- a/doc-src/Ref/ref.tex	Thu May 22 10:04:04 1997 +0200
     2.2 +++ b/doc-src/Ref/ref.tex	Thu May 22 10:34:23 1997 +0200
     2.3 @@ -1,7 +1,8 @@
     2.4  \documentclass[12pt]{report}
     2.5 -\usepackage{a4,proof}
     2.6 +\usepackage{a4}
     2.7  
     2.8  \makeatletter
     2.9 +\input{../proof.sty}
    2.10  \input{../rail.sty}
    2.11  \input{../iman.sty}
    2.12  \input{../extra.sty}
     3.1 --- a/doc-src/System/system.tex	Thu May 22 10:04:04 1997 +0200
     3.2 +++ b/doc-src/System/system.tex	Thu May 22 10:34:23 1997 +0200
     3.3 @@ -2,7 +2,7 @@
     3.4  %% $Id$
     3.5  
     3.6  \documentclass[12pt]{report}
     3.7 -\usepackage{a4,epsf}
     3.8 +\usepackage{a4,graphicx}
     3.9  
    3.10  \makeatletter
    3.11  \input{../iman.sty}