equal
deleted
inserted
replaced
|
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
2 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
3 <head> |
|
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> |
|
5 <title>Arch Spec Diagrams - Released or Modified</title> |
|
6 <link href="#CSS#" rel="stylesheet" type="text/css" /> |
|
7 <script> |
|
8 function initPage(src) { |
|
9 if(parent==this&&(this.location+"").indexOf('EARoot')!=-1) |
|
10 document.location=(this.location+"").substring(0,(this.location+"").indexOf('EARoot'))+"index"+(this.location+"").substring((this.location+"").lastIndexOf('.'))+"?goto="+((this.location+"").substring((this.location+"").indexOf('EARoot')+7,(this.location+"").lastIndexOf('.')).replace(/\//g,':').replace(/EA/g,"")); |
|
11 else |
|
12 parent.initPage(src); |
|
13 } |
|
14 </script> |
|
15 </head> |
|
16 <body onload="initPage(this);" class="Content"> |
|
17 |
|
18 </body> |
|
19 </html> |