On Thu, Oct 2, 2008 at 5:17 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: > Wait -- there's a "long" video? Longer than the 90-minute or so video > that I watched? The combination of those two videos (about 2.5 hours) is the whole thing. -- sam th samth at ccs.neu.edu