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