Admin/website/redirect.html
author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 17752 a92cda068ad8
permissions -rw-r--r--
removed distinct, renamed gen_distinct to distinct;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17752
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     3
<!-- $Id$ -->
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     4
<html xmlns="http://www.w3.org/1999/xhtml">
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     5
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     6
<head>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     7
    <title>Isabelle</title>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     8
    <?include file="//include/htmlheader.include.html"?>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
     9
    <meta content="0; URL=http://isabelle.in.tum.de/" http-equiv="refresh" />
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    10
</head>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    11
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    12
<body class="main">
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    13
    <?include file="//include/header.include.html"?>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    14
    <div class="hr"><hr/></div>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    15
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    16
    <div id="content">
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    17
        <h2>Redirect</h2>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    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>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    19
    </div>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    20
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    21
    <div class="hr"><hr/></div>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    22
    <?include file="//include/footer.include.html"?>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    23
</body>
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    24
a92cda068ad8 added redirect.html
haftmann
parents:
diff changeset
    25
</html>