<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 Homepage</title>
    <link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
    <link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
    <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
    <meta name="author" content="<NAME> and others <<EMAIL>>">
    <meta name="keywords" content="deal.II">
</head>
<body lang="en">

<p>
<strong>Table of contents</strong>
</p>
    <ol>
      <li>
	<p>
	  <a href="readme.html" target="body">
	    The README file for <acronym>deal.II</acronym>.
	  </a>
	</p>
      </li>

      <li>
	<p>
	  <a href="tutorial/index.html" target="_top">
	    The <acronym>deal.II</acronym> tutorial
	  </a>
	</p>
      </li>

      <li>
	<p>
          <a href="auto/kdoc/base/index.html" target="_top">
          /base library API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/lac/index.html" target="_top">
          /lac library API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/grid/index.html" target="_top">
          /deal.II /grid API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/dof/index.html" target="_top">
          /deal.II /dofs API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/numerics/index.html" target="_top">
          /deal.II /numerics API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/cvs-backlog/index.html" target="_top">
	  CVS backlog</a>
	</p>  
      </li>
    </ol>

    <p>
      <a href="index.html" target="_top">
        Back to the <acronym>deal.II</acronym> homepage
      </a>
    </p>
    <hr>
    <p>
      <a href="mailto:<EMAIL>">Comments on deal.II</a>
    </p>

<!-- Last modified: $Date$ -->

</body><commit_msg>Change navbar a bit.<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 Homepage</title>
    <link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
    <link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
    <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
    <meta name="author" content="<NAME> and others <<EMAIL>>">
    <meta name="keywords" content="deal.II">
</head>
<body lang="en">

<p>
<strong>Table of contents</strong>
</p>
    <ol>
      <li>
	<p>
	  <a href="readme.html" target="body">
	    The README file for <acronym>deal.II</acronym>.
	  </a>
	</p>
      </li>

      <li>
	<p>
	  <a href="tutorial/index.html" target="_top">
	    The <acronym>deal.II</acronym> tutorial
	  </a>
	</p>
      </li>

      <li>
	<p>
          <a href="auto/kdoc/base/index.html" target="_top">
          /base library API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/lac/index.html" target="_top">
          /lac library API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/grid/index.html" target="_top">
          /deal.II /grid API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/dof/index.html" target="_top">
          /deal.II /dofs API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="auto/kdoc/numerics/index.html" target="_top">
          /deal.II /numerics API</a>
	</p>  
      </li>

      <li>
	<p>
          <a href="developers-page.html" target="body">
	  Development information</a>
	</p>  
      </li>
    </ol>

    <p>
      <a href="index.html" target="_top">
        Back to the <acronym>deal.II</acronym> homepage
      </a>
    </p>
    <hr>
    <p>
      <a href="mailto:<EMAIL>">Comments on deal.II</a>
    </p>

<!-- Last modified: $Date$ -->

</body>
{'fraction_non_alphanumeric': 0.21075883575883575, 'fraction_numerical': 0.0031185031185031187, 'mean_word_length': 2.1420408163265305, 'pattern_counts': {'":': 0, '<': 177, '<?xml version=': 0, '>': 177, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2607097', 'n_tokens_mistral': 1605, 'n_tokens_neox': 1524, 'n_words': 308}