Video Players
Most of the videos on this site are encoded using DIVX4 and AVI format.
Linux
The videos were encoded using
transcode and can be viewed using Mplayer
Windows
If windows media player doesn't work on these files try installing
Jim McElwaine
Last modified: Wed Aug 7 17:46:47 BST 2002