<commit_before>(function() {
    Set.prototype.intersection = function(setB) {
        var intersection = new Set();
        for (var elem of setB) {
            if (this.has(elem)) {
                intersection.add(elem);
            }
        }
        return intersection;
    }

    function displayDoc(item) {
        appendString = "";
        appendString += '<a href="' + item.url + '" class="list-group-item">';
        appendString += '<div class="panel panel-default">';
        appendString += '<div class="panel-heading">';
        if (item.state != 'open') {
            appendString += '<strike>';
        }
        appendString += '<h4>' + item.title + '</h4>';
        if (item.state != 'open') {
            appendString += '</strike>';
        }
        appendString += '</div>';
        appendString += '<div class="panel-body">';

        appendString += '<small>';
        appendString += '<p class="list-group-item-text">' + item.content.substring(0, 250) + '...</p>'
        appendString += '<p class="list-group-item-text">' + item.date + '</p>'
        appendString += '</small>';
<commit_msg>modifica per compatibilita browser non moderni<commit_after>(function() {
    Set.prototype.intersection = function(setB) {
        var intersection = new Set();
        var elem;
		for (var index = 0; index < setB.length; ++index) {
			elem = setB[index];
            if (this.has(elem)) {
                intersection.add(elem);
            }
        }
        return intersection;
    }

    function displayDoc(item) {
        appendString = "";
        appendString += '<a href="' + item.url + '" class="list-group-item">';
        appendString += '<div class="panel panel-default">';
        appendString += '<div class="panel-heading">';
        if (item.state != 'open') {
            appendString += '<strike>';
        }
        appendString += '<h4>' + item.title + '</h4>';
        if (item.state != 'open') {
            appendString += '</strike>';
        }
        appendString += '</div>';
        appendString += '<div class="panel-body">';

        appendString += '<small>';
        appendString += '<p class="list-group-item-text">' + item.content.substring(0, 250) + '...</p>'
        appendString += '<p class="list-group-item-text">' + item.date + '</p>'
        appendString += '</small>';

{'fraction_non_alphanumeric': 0.1867237687366167, 'fraction_numerical': 0.00556745182012848, 'mean_word_length': 2.102257636122178, 'pattern_counts': {'":': 0, '<': 34, '<?xml version=': 0, '>': 33, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, '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': '705888', 'n_tokens_mistral': 673, 'n_tokens_neox': 659, 'n_words': 143}