Problems with DOT Movies?

Some people have reported that they cannot view the movies from this page. This is not an error of the movies, but one of the player (most notably the windows media player) that only accepts a subset of the MPEG standard. If you are using Windows and encounter that problem, switch to another mpeg player. One that is known to work is VMPEG. You can get it at

Unix player normally play the movies flawlessly. I am using mpeg_play and gtv from the smpeg-project.