These movie files were encoded using the DivX codec, which doesn't yet come as a part of the Windows media player. So you'll need to download the free codec from here (don't get "DivX Pro"; the standard "DivX" will work and you won't be subjected to advertisements).
![]() |
William R. Overall / wro@stanford.edu Last modified: Fri Jul 12 14:08:38 PST 2002 |
|