<div dir="ltr">I've move the northwestern release snapshots to a slightly different URL. Apologies for any confusion; they are now at:<div><br></div><div> <a href="http://plt.eecs.northwestern.edu/release-snapshots/">http://plt.eecs.northwestern.edu/release-snapshots/</a></div>
<div><br></div><div>(rsync is in the middle of pushing things over there; it should be in done in less than an hour (hopefully a lot less).</div><div><br></div><div>Robby</div><div><br></div></div>