diff --git a/Envelope_2/doc_tex/Envelope_2/envelope.tex b/Envelope_2/doc_tex/Envelope_2/envelope.tex
index c876199287a..22cae24e6ec 100644
--- a/Envelope_2/doc_tex/Envelope_2/envelope.tex
+++ b/Envelope_2/doc_tex/Envelope_2/envelope.tex
@@ -13,17 +13,32 @@ curves, their {\em lower envelope} is defined as the point-wise minimum of
all curves. Namely, the lower envelope of the set $\calC$ can be
defined as the following function:
\begin{eqnarray*}
-\calL_{\calC} (x) = \min_{1 \leq k \leq n}{\overline{C}_k (x)} \ ,
+\calL_{\calC} (x) = \min_{1 \leq k \leq n}{
+\begin{ccTexOnly}\overline{C}\end{ccTexOnly}
+\begin{ccHtmlOnly}C\end{ccHtmlOnly}
+_k (x)} \ ,
\end{eqnarray*}
-where we define $\overline{C}_k(x) = C_k(x)$ for $x \in R_{C_k}$,
-and $\overline{C}_k(x) = \infty$ otherwise.
+where we define $
+\begin{ccTexOnly}\overline{C}\end{ccTexOnly}
+\begin{ccHtmlOnly}C\end{ccHtmlOnly}
+_k(x) = C_k(x)$ for $x \in R_{C_k}$,
+and $
+\begin{ccTexOnly}\overline{C}\end{ccTexOnly}
+\begin{ccHtmlOnly}C\end{ccHtmlOnly}
+_k(x) = \infty$ otherwise.
Similarly, the {\em upper envelope} of $\calC$ is the point-wise maximum of
the $x$-monotone curves in the set:
\begin{eqnarray*}
-\calU_{\calC} (x) = \max_{1 \leq k \leq n}{\underline{C}_k (x)} \ ,
+\calU_{\calC} (x) = \max_{1 \leq k \leq n}{
+\begin{ccTexOnly}\underline{C}\end{ccTexOnly}
+\begin{ccHtmlOnly}C\end{ccHtmlOnly}
+_k (x)} \ ,
\end{eqnarray*}
-where in this case $\underline{C}_k(x) = -\infty$ for $x
+where in this case $
+\begin{ccTexOnly}\underline{C}\end{ccTexOnly}
+\begin{ccHtmlOnly}C\end{ccHtmlOnly}
+_k(x) = -\infty$ for $x
\not\in R_{C_k}$.
Given a set of $x$-monotone curves $\calC$, the {\em minimization
@@ -71,7 +86,7 @@ diagram these functions output.
\begin{figure}[t]
\begin{ccTexOnly}
\begin{center}
- \epsfig{figure=Envelope_2/fig/min_diag.eps,width=5in,silent=}
+ \includegraphics[width=5in]{Envelope_2/fig/min_diag}
\end{center}
\end{ccTexOnly}
\begin{ccHtmlOnly}
@@ -169,7 +184,7 @@ diagrams:
\begin{figure}[t]
\begin{ccTexOnly}
\begin{center}
- \epsfig{figure=Envelope_2/fig/ex_circle.eps,silent=}
+ \includegraphics{Envelope_2/fig/ex_circle}
\end{center}
\end{ccTexOnly}
\begin{ccHtmlOnly}
diff --git a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.eps b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.eps
index ae0cb8fea57..3d5bbbcc107 100644
--- a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.eps
+++ b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.eps
@@ -1,9 +1,10 @@
%!PS-Adobe-2.0 EPSF-2.0
%%Title: ex_circle.fig
%%Creator: fig2dev Version 3.2 Patchlevel 5-alpha5
-%%CreationDate: Thu Aug 3 16:04:45 2006
-%%For: wein@cgal (Ron Wein,,09-576985,)
+%%CreationDate: Sun Aug 13 17:26:49 2006
+%%For: efif@lap-eye (Efraim Fogel,,,)
%%BoundingBox: 0 0 185 177
+%%HiResBoundingBox: 0 0 185 177
%Magnification: 0.5000
%%EndComments
/$F2psDict 200 dict def
@@ -117,17 +118,17 @@ n 7639 7425 101 101 0 360 DrawEllipse gs col7 s gr
% here starts figure with depth 50
% Ellipse
15.000 slw
-n 5850 3600 900 900 0 360 DrawEllipse gs col0 s gr
-
-% Ellipse
-n 3600 5400 900 900 0 360 DrawEllipse gs col0 s gr
-
-% Ellipse
n 5400 6300 450 450 0 360 DrawEllipse gs col0 s gr
% Ellipse
n 4950 4500 1800 1800 0 360 DrawEllipse gs col0 s gr
+% Ellipse
+n 5850 3600 900 900 0 360 DrawEllipse gs col0 s gr
+
+% Ellipse
+n 3600 5400 900 900 0 360 DrawEllipse gs col0 s gr
+
% Polyline
0 slj
0 slc
@@ -210,15 +211,10 @@ n 3150 2700 m
%
% here starts figure with depth 40
% Arc
-30.000 slw
+90.000 slw
0 slc
[120] 0 sd
-n 3600.0 5400.0 900.0 180.0000 53.1301 arcn
-gs col4 s gr
- [] 0 sd
-% Arc
- [120] 0 sd
-n 4965.0 4320.0 1980.1 114.6236 90.4341 arcn
+n 5119.2 4570.4 1632.3 63.4042 -2.4732 arcn
gs col4 s gr
[] 0 sd
% Arc
@@ -228,23 +224,28 @@ gs col4 s gr
[] 0 sd
% Arc
[120] 0 sd
-n 5119.2 4570.4 1632.3 63.4042 -2.4732 arcn
+n 4965.0 4320.0 1980.1 114.6236 90.4341 arcn
gs col4 s gr
[] 0 sd
% Arc
[120] 0 sd
-n 5896.7 3542.4 855.2 -118.3937 3.8642 arc
-gs col11 s gr
+n 3600.0 5400.0 900.0 180.0000 53.1301 arcn
+gs col4 s gr
[] 0 sd
% Arc
[120] 0 sd
-n 3735.0 5445.0 1036.0 -177.5104 -124.3803 arc
-gs col11 s gr
+n 5876.5 3573.7 873.9 -116.2512 1.7217 arc
+gs col16 s gr
[] 0 sd
% Arc
[120] 0 sd
n 4918.5 4464.0 1768.9 178.8338 -71.1502 arc
-gs col11 s gr
+gs col16 s gr
+ [] 0 sd
+% Arc
+ [120] 0 sd
+n 3735.0 5445.0 1036.0 -177.5104 -124.3803 arc
+gs col16 s gr
[] 0 sd
% here ends figure;
$F2psEnd
diff --git a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.fig b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.fig
index 9ed3479a02c..de75f45c59f 100644
--- a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.fig
+++ b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.fig
@@ -7,19 +7,19 @@ A4
Single
-2
1200 2
-5 1 1 3 4 7 40 -1 -1 8.000 0 1 0 0 3600.000 5400.000 2700 5400 3600 6300 4140 6120
-5 1 1 3 4 7 40 -1 -1 8.000 0 1 0 0 4965.000 4320.000 4140 6120 4545 6255 4950 6300
-5 1 1 3 4 7 40 -1 -1 8.000 0 1 0 0 5400.000 6300.000 4950 6300 5400 6750 5850 6300
-5 1 1 3 4 7 40 -1 -1 8.000 0 1 0 0 5119.239 4570.435 5850 6030 6525 5400 6750 4500
-5 1 1 3 11 7 40 -1 -1 8.000 0 0 0 0 5896.695 3542.363 5490 2790 6570 3015 6750 3600
-5 1 1 3 11 7 40 -1 -1 8.000 0 0 0 0 3735.000 5445.000 2700 5400 2880 4860 3150 4590
-5 1 1 3 11 7 40 -1 -1 8.000 0 0 0 0 4918.500 4464.000 3150 4500 3375 3600 5490 2790
-1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 5850 3600 900 900 5850 3600 6750 3600
-1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 3600 5400 900 900 3600 5400 4500 5400
+5 1 1 7 4 7 40 -1 -1 8.000 0 1 0 0 5119.239 4570.435 5850 6030 6525 5400 6750 4500
+5 1 1 7 4 7 40 -1 -1 8.000 0 1 0 0 5400.000 6300.000 4950 6300 5400 6750 5850 6300
+5 1 1 7 4 7 40 -1 -1 8.000 0 1 0 0 4965.000 4320.000 4140 6120 4545 6255 4950 6300
+5 1 1 7 4 7 40 -1 -1 8.000 0 1 0 0 3600.000 5400.000 2700 5400 3600 6300 4140 6120
+5 1 1 7 16 7 40 -1 -1 8.000 0 0 0 0 5876.521 3573.744 5490 2790 6462 2925 6750 3600
+5 1 1 7 16 7 40 -1 -1 8.000 0 0 0 0 4918.500 4464.000 3150 4500 3375 3600 5490 2790
+5 1 1 7 16 7 40 -1 -1 8.000 0 0 0 0 3735.000 5445.000 2700 5400 2880 4860 3150 4590
1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 5400 6300 450 450 5400 6300 5850 6300
1 3 0 1 7 7 55 -1 -1 0.000 1 0.0000 2014 2025 101 101 2014 2025 2115 2025
1 3 0 1 7 7 55 -1 -1 0.000 1 0.0000 7639 7425 101 101 7639 7425 7740 7425
1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 4950 4500 1800 1800 4950 4500 6750 4500
+1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 5850 3600 900 900 5850 3600 6750 3600
+1 3 0 2 0 7 50 -1 -1 0.000 1 0.0000 3600 5400 900 900 3600 5400 4500 5400
2 1 0 1 15 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 90.00 120.00
3150 7200 3150 2250
diff --git a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.gif b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.gif
index b1b7b04d6ac..930ac16adf6 100644
Binary files a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.gif and b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.gif differ
diff --git a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.pdf b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.pdf
index a15070b2301..305f6998487 100644
Binary files a/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.pdf and b/Envelope_2/doc_tex/Envelope_2/fig/ex_circle.pdf differ