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