Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - test_30_all.tex 2011-05-19 13:38 583 test_30_all.chk 2011-05-19 13:38 351 test_20_snoc_decons.tex 2011-05-19 13:38 255 test_20_snoc_decons.chk 2011-05-19 13:38 160 test_10_cons_rot.tex 2011-05-19 13:38 346 test_10_cons_rot.chk 2011-05-19 13:38 313