164 |
\begin{figure*} |
\begin{figure*} |
165 |
\label{example} |
\label{example} |
166 |
\begin{centering} |
\begin{centering} |
167 |
\includegraphics[height=9cm]{short-trav-3.gen.eps}\hskip .4cm% |
\includegraphics[width=5.7cm]{short-trav-3.gen.eps}\hskip .2cm% |
168 |
\includegraphics[height=9cm]{short-trav-1.gen.eps}\hskip .4cm% |
\includegraphics[width=5.7cm]{short-trav-1.gen.eps}\hskip .2cm% |
169 |
\includegraphics[height=9cm]{short-trav-4.gen.eps}\hskip .4cm% |
\includegraphics[width=5.7cm]{short-trav-4.gen.eps}\hskip .2cm% |
170 |
\end{centering} |
\end{centering} |
171 |
\caption{ |
\caption{ |
172 |
Examples. Left: A screenshot of javadoc class documentation page |
Examples. Left: A screenshot of javadoc class documentation page |