# HG changeset patch
# User wenzelm
# Date 864290063 -7200
# Node ID 9a3fe25f30bb0930b023af751a6fdc6722325284
# Parent  b7f0c0af4071cf930a7c13d7ea776e9fda7e5cc2
fixed packages;

diff -r b7f0c0af4071 -r 9a3fe25f30bb doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Thu May 22 10:04:04 1997 +0200
+++ b/doc-src/Intro/intro.tex	Thu May 22 10:34:23 1997 +0200
@@ -1,7 +1,8 @@
 \documentclass[12pt]{article}
-\usepackage{a4,proof}
+\usepackage{a4}
 
 \makeatletter
+\input{../proof.sty}
 \input{../iman.sty}
 \input{../extra.sty}
 \makeatother
diff -r b7f0c0af4071 -r 9a3fe25f30bb doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Thu May 22 10:04:04 1997 +0200
+++ b/doc-src/Ref/ref.tex	Thu May 22 10:34:23 1997 +0200
@@ -1,7 +1,8 @@
 \documentclass[12pt]{report}
-\usepackage{a4,proof}
+\usepackage{a4}
 
 \makeatletter
+\input{../proof.sty}
 \input{../rail.sty}
 \input{../iman.sty}
 \input{../extra.sty}
diff -r b7f0c0af4071 -r 9a3fe25f30bb doc-src/System/system.tex
--- a/doc-src/System/system.tex	Thu May 22 10:04:04 1997 +0200
+++ b/doc-src/System/system.tex	Thu May 22 10:34:23 1997 +0200
@@ -2,7 +2,7 @@
 %% $Id$
 
 \documentclass[12pt]{report}
-\usepackage{a4,epsf}
+\usepackage{a4,graphicx}
 
 \makeatletter
 \input{../iman.sty}