1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
<!--NewPage--> |
3 |
<HTML> |
4 |
<HEAD> |
5 |
<!-- Generated by javadoc (build 1.4.2_06) on Mon Aug 01 00:51:52 JST 2005 --> |
6 |
<TITLE> |
7 |
(estraier) |
8 |
</TITLE> |
9 |
|
10 |
|
11 |
<LINK REL ="stylesheet" TYPE="text/css" HREF="stylesheet.css" TITLE="Style"> |
12 |
|
13 |
<SCRIPT type="text/javascript"> |
14 |
function windowTitle() |
15 |
{ |
16 |
parent.document.title=" (estraier)"; |
17 |
} |
18 |
</SCRIPT> |
19 |
|
20 |
</HEAD> |
21 |
|
22 |
<BODY BGCOLOR="white" onload="windowTitle();"> |
23 |
|
24 |
<BR> |
25 |
|
26 |
<BR> |
27 |
|
28 |
<BR> |
29 |
<CENTER> |
30 |
The front page has been relocated.Please see: |
31 |
<BR> |
32 |
<A HREF="index.html">Frame version</A> |
33 |
<BR> |
34 |
<A HREF="overview-summary.html">Non-frame version.</A></CENTER> |
35 |
|
36 |
</BODY> |
37 |
</HTML> |