<commit_before><?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
  <head>
    <title>Synopsis Cross-Reference</title>
    <style type="text/css">
<!--
body 
{
  margin: 0;
  color: #003030;
  background-color: #ffffff;
}
:link { color: #bb0000; text-decoration: none;}
:visited { color: #770000; text-decoration: none;}
:active { color: #ff0000; text-decoration: none;}
   
h1 
{
  background-color: white;

  border-bottom: solid;
  border-color: #aaaaaa;
  border-width: 1px;
  text-align: center;
  
  font-family: "arial";
  font-style: italic;
  font-size: xx-large;
  color: #770000;
  margin: 0px;
  padding: 10px;
}

table.page 
{
  border: 0px;
  margin: 10px 0px 0px;
  padding: 0px;
}
 
td.menu 
{
  width: 8em;
  vertical-align: top;
  padding: 10px 10px 10px;
  margin: 0px;
}

table.menu
{  
  position: fixed;
  top: 5em;
  left: 1em;
  background-color: #f2f5f7;
  border: solid;
  border-width: 1px;
  border-color: #aaaaaa;
  padding: 10px;
}

table.menu td.normal1
{ 
}

table.menu td.selected1
{ 
  background-color: #dbdee0;
}

table.menu td.normal2
{
  font-size: small;
  padding-left: 17px;
}

table.menu td.selected2
{ 
  font-size: small;
  padding-left: 17px;
  background-color: #dbdee0;
}

table.menu td.separator
{
  color: #808080;
  border-top: solid;
  border-color: #aaaaaa;
  border-width: 1px;
}

td.content 
{
  margin: 0px;
  padding: 10px;
  vertical-align: top;
}

table.subheading
{
  width: 100%;
  border: none;
  border-spacing: 1px;
}

td.content td
{
  background: #f2f5f7;
  padding: 10px;
}

th
{
  background: #f2f5f7;
  padding: 10px;
  text-align: left;
}

table.heading td
{
  font-family: avantgarde, sans-serif;
  font-size: 150%;
  color: #bb0000;
}

table.subheading td
{
  font-family: avantgarde, sans-serif;
  font-size: 120%;
  color: #bb0000;
}

table.form
{
  background-color: #aaaaaa;
  border-spacing: 1px;
}
table.form td
{
  background-color: #f2f5f7;
  padding: 5px;
}
table.form th
{
  background-color: #f2f5f7;
  padding: 5px;
}

div.newsheader
{
  font-weight: bold;
}

div.hostedby 
{
  float: right;
  margin-right: 10px;
}
-->
    </style>
  </head>
  <body>
    <div class="navigation">
      <div class="menu">
        <p class="normal1"><a href="http://synopsis.fresco.org/index.html">Home</a></p>
	<p class="normal1"><a href="http://synopsis.fresco.org/news.html">News</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/download/">Download</a></p>
	<p class="normal1"><a href="http://synopsis.fresco.org/docs.html">Docs</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/issues/bug">Bugs</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/mailinglists.html">Mailing&nbsp;List</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/issues/task">Tasks</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/code.html">Code</a></p>
        <p class="normal2"><a href="http://synopsis.fresco.org/changelog.html">Changelog</a></p>
        <p class="normal2"><a href="http://synopsis.fresco.org/viewsvn/synopsis-Synopsis/">Repository</a></p>
        <p class="selected2"><a href="http://synopsis.fresco.org/sxr/files">SXR</a></p>
      </div><commit_msg>fixes<commit_after><?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
  <head>
    <title>Synopsis Cross-Reference</title>
    <style type="text/css">
<!--
body 
{
  margin: 0;
  color: #003030;
  background-color: #ffffff;
}
:link { color: #bb0000; text-decoration: none;}
:visited { color: #770000; text-decoration: none;}
:active { color: #ff0000; text-decoration: none;}
   
h1 
{
  background-color: white;

  border-bottom: solid;
  border-color: #aaaaaa;
  border-width: 1px;
  text-align: center;
  
  font-family: "arial";
  font-style: italic;
  font-size: xx-large;
  color: #770000;
  margin: 0px;
  padding: 10px;
}

div.navigation
{ 
  position: fixed;
  top: 1em;
  bottom: 1em;
  width: 10em;
  height: 100%;
  border-right: 1px solid #aaaaaa;
}

div.menu 
{
  margin-top: 1em;
  margin-left: 1em;
  width: 7em;
  height: auto;
  border: 1px solid #aaaaaa;
  background-color: #f2f5f7;
  vertical-align: top;
  padding: 10px;
}

div.menu p
{ 
  margin: 0px;
  padding: 0px;
}

div.menu p.selected1
{ 
  background-color: #dbdee0;
}

div.menu p.normal2
{
  font-size: small;
  padding-left: 17px;
}

div.menu p.selected2
{ 
  font-size: small;
  padding-left: 17px;
  background-color: #dbdee0;
}

div.menu p.separator
{
  color: #808080;
  border-top: solid;
  border-color: #aaaaaa;
  border-width: 1px;
}

div.content
{ 
  position: absolute;
  top: 1em;
  height: auto;
  left: 10em;
  right: 1em;
  padding: 10px;
}

table.form
{
  background-color: #aaaaaa;
  border-spacing: 1px;
}
table.form td
{
  background-color: #f2f5f7;
  padding: 5px;
}
table.form th
{
  background-color: #f2f5f7;
  padding: 5px;
}

-->
    </style>
  </head>
  <body>
    <div class="navigation">
      <div class="menu">
        <p class="normal1"><a href="http://synopsis.fresco.org/index.html">Home</a></p>
	<p class="normal1"><a href="http://synopsis.fresco.org/news.html">News</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/download/">Download</a></p>
	<p class="normal1"><a href="http://synopsis.fresco.org/docs.html">Docs</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/issues/bug">Bugs</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/mailinglists.html">Mailing&nbsp;List</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/issues/task">Tasks</a></p>
        <p class="normal1"><a href="http://synopsis.fresco.org/code.html">Code</a></p>
        <p class="normal2"><a href="http://synopsis.fresco.org/changelog.html">Changelog</a></p>
        <p class="normal2"><a href="http://synopsis.fresco.org/viewsvn/synopsis-Synopsis/">Repository</a></p>
        <p class="selected2"><a href="http://synopsis.fresco.org/sxr/files">SXR</a></p>
      </div>
{'fraction_non_alphanumeric': 0.19285027252324463, 'fraction_numerical': 0.038954793202949665, 'mean_word_length': 3.4532476802284084, 'pattern_counts': {'":': 0, '<': 119, '<?xml version=': 2, '>': 119, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 4}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2733630', 'n_tokens_mistral': 2742, 'n_tokens_neox': 2530, 'n_words': 442}