equal
deleted
inserted
replaced
144 <td class="author"></td> |
144 <td class="author"></td> |
145 </tr> |
145 </tr> |
146 </table> |
146 </table> |
147 |
147 |
148 <div class="overflow"> |
148 <div class="overflow"> |
149 <div class="sourcefirst linewraptoggle">line wrap: <a class="linewraplink">on</a></div> |
149 <div class="sourcefirst linewraptoggle">line wrap: <a class="linewraplink" href="#">on</a></div> |
150 <div class="sourcefirst"> line source</div> |
150 <div class="sourcefirst"> line source</div> |
151 <pre class="sourcelines stripes4 wrap bottomline" |
151 <pre class="sourcelines stripes4 wrap bottomline" |
152 data-logurl="/log/tip/primes.py" |
152 data-logurl="/log/tip/primes.py" |
153 data-selectabletag="SPAN" |
153 data-selectabletag="SPAN" |
154 data-ishead="1"> |
154 data-ishead="1"> |