From 9b720a3e3860f5d9e04cddbca4e7bc11725d44e8 Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Thu, 28 Aug 2003 07:34:57 +0000
Subject: [PATCH] Added Iso_box_d.

---
 Packages/Kernel_d/doc_tex/kernel_d/Ref_d/main.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Packages/Kernel_d/doc_tex/kernel_d/Ref_d/main.tex b/Packages/Kernel_d/doc_tex/kernel_d/Ref_d/main.tex
index f48b0e497a2..fcfbb8629a6 100644
--- a/Packages/Kernel_d/doc_tex/kernel_d/Ref_d/main.tex
+++ b/Packages/Kernel_d/doc_tex/kernel_d/Ref_d/main.tex
@@ -32,6 +32,7 @@
 \input{Ref_d/Segment_d.tex}
 \input{Ref_d/Hyperplane_d.tex}
 \input{Ref_d/Sphere_d.tex}
+\input{Ref_d/Iso_box_d.tex}
 \input{Ref_d/Aff_transformation_d.tex}
 
 \clearpage