Videos are available in several formats:
MP4 (H264) format:
Newer format, resulting in better quality for the same size video. If
you can play them, use these instead of the WMV versions. Newer videos
also come as
High Definition in this format.
The lower quality versions in MP4 should work well on mobile devices.
Windows Media (WMV), old format:
As the name states, supported well by Windows (even on old versions).
This is the format used since day one on this site. Can be played with
Windows mediaplayer.
Note: some videos are high quality, so they are large. It is unlikely
that you will be able to stream these straight in your browser. The
best thing to do is download them first (
right click on the part you
want to download and choose "save target as.." or "save links as..").
