Martin Thoma af1ac9266c adjusted makefiles to add animation 12 jaren geleden
..
Animation.gif af1ac9266c adjusted makefiles to add animation 12 jaren geleden
Animation.tex a9a73319a3 misc 12 jaren geleden
Makefile af1ac9266c adjusted makefiles to add animation 12 jaren geleden