equal
deleted
inserted
replaced
|
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
3 <!-- $Id$ --> |
|
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
5 |
|
6 <head> |
|
7 <title>Isabelle</title> |
|
8 <?include file="//include/htmlheader.include.html"?> |
|
9 <meta content="0; URL=http://isabelle.in.tum.de/" http-equiv="refresh" /> |
|
10 </head> |
|
11 |
|
12 <body class="main"> |
|
13 <?include file="//include/header.include.html"?> |
|
14 <div class="hr"><hr/></div> |
|
15 |
|
16 <div id="content"> |
|
17 <h2>Redirect</h2> |
|
18 <p>Please visit the Isabelle project page at <a shape="rect" href="http://isabelle.in.tum.de/">http://isabelle.in.tum.de/</a>.</p> |
|
19 </div> |
|
20 |
|
21 <div class="hr"><hr/></div> |
|
22 <?include file="//include/footer.include.html"?> |
|
23 </body> |
|
24 |
|
25 </html> |