r of modifications This is not based on longest common subsequence, so it might have different results
    
  </dd>
</div>

</div>
<div id="pretty-procs-all">
  <div id="pretty,LineDiff">
  <dt><pre><span class="Keyword">proc</span> <a href="#pretty%2CLineDiff"><span class="Identifier">pretty</span></a><span class="Other">(</span><span class="Identifier">lineDiff</span><span class="Other">:</span> <a href="difflines.html#LineDiff"><span class="Identifier">LineDiff</span></a><span class="Other">)</span><span