<commit_before><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"
   "http://www.w3.org/TR/REC-html40/strict.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="deal.II <<EMAIL>>">
    <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 style=\"text-align: center;\">The Homepage of deal.II  Version "+ release + "</h1>");
  } else {
    document.writeln("<h1 style=\"text-align: center;\">The deal.II Homepage");
    document.writeln("&nbsp;");
    document.writeln("&nbsp;");
    document.writeln("&nbsp;");
    document.writeln("<b style=\"color:red\"><a href=\"news/news.html\" target=\"body\">New version 3.4</a></b></h1>");
  }
  //-->
  </script>
</body>
</html>








<commit_msg>Fix java script so that validate-xref does not choke anymore.<commit_after><!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN"
   "http://www.w3.org/TR/REC-html40/strict.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="deal.II <<EMAIL>>">
    <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 style=\"text-align: center;\">The Homepage of deal.II  Version "+ release + "</h1>");
  } else {
    document.writeln("<h1 style=\"text-align: center;\">The deal.II Homepage");
    document.writeln("&nbsp;");
    document.writeln("&nbsp;");
    document.writeln("&nbsp;");
    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>









{'fraction_non_alphanumeric': 0.24838095238095237, 'fraction_numerical': 0.009142857142857144, 'mean_word_length': 3.7315315315315316, 'pattern_counts': {'":': 0, '<': 57, '<?xml version=': 0, '>': 57, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7520028', 'n_tokens_mistral': 946, 'n_tokens_neox': 910, 'n_words': 159}