--- 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
--- 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}
--- 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}