+++ /dev/null
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN"
- "http://www.w3.org/TR/REC-html40/frameset.dtd">
-<html>
-<head>
-<title>deal.II Title Bar</title>
- <link href="screen.css" rel="StyleSheet" media="screen">
- <link href="print.css" rel="StyleSheet" media="print">
- <meta name="author" content="the deal.II authors <authors@dealii.org>">
- <meta name="CVS_ID" content="$Id$">
-</head>
-
-<!-- Page Body -->
-<body style="background-image:url(pictures/title-background.jpg);">
- <script type="text/javascript">
- <!--
- var release = "$Name$";
- release=release.replace(/\$.*: */,"");
- release=release.replace(/.*Version-/,"");
- release=release.replace(/\$/, "");
- release=release.replace(/-/g, ".");
- release=release.replace(/ /g, "");
- document.close();
- document.open();
- if (release != "")
- {
- document.writeln("<h1 class=\"head\">The Homepage of deal.II Version "+ release + "</h1>");
- } else {
- document.writeln("<h1 class=\"head\">The deal.II Homepage");
- document.writeln(" ");
- document.writeln(" ");
- document.writeln(" ");
- document.writeln("<b style=\"color:red\"><a");
- //document.writeln("href=\"news/news.html\" target=\"body\">New version 3.4</a></b></h1>");
- }
- //-->
- </script>
-</body>
-</html>
-
-
-
-
-
-
-
-
--- /dev/null
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN"
+ "http://www.w3.org/TR/REC-html40/frameset.dtd">
+<html>
+<head>
+<title>deal.II Title Bar</title>
+ <link href="screen.css" rel="StyleSheet" media="screen">
+ <link href="print.css" rel="StyleSheet" media="print">
+ <meta name="author" content="the deal.II authors <authors@dealii.org>">
+ <meta name="CVS_ID" content="$Id$">
+</head>
+
+<!-- Page Body -->
+<body style="background-image:url(pictures/title-background.jpg);">
+ <h1 class="head">The Homepage of deal.II $Name$</h1>
+</body>
+</html>
+
+
+
+
+
+
+
+