<br><br><div class="gmail_quote">2008/6/24 Atte André Jensen &lt;<a href="mailto:atte.jensen@gmail.com">atte.jensen@gmail.com</a>&gt;:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">Kassen wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Yes, the online docs are very convenient with their compact size and clear links, I use them a lot too.<br>
</blockquote>
<br></div>
You can take it down again, I &#39;wget -r&#39;-ed the whole thing...<div></div></blockquote><div><br>&quot;...So, your honor, I did take down the Princeton CS site but only after Atte said it would be fine.&quot;<br></div>
</div><br>;¬)<br><br>Kas.<br>