Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 80Name Last modified Size Description
Parent Directory -
README 2010-09-12 21:48 1.2K
example.tex 2010-09-12 21:15 1.3K
example.mp 2010-09-12 21:46 3.6K
automata.mp 2009-11-02 16:32 26K
example.pdf 2010-09-12 21:45 88K