Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - blackboard.zip 2005-10-14 01:25 105K blackboard/ 2005-10-14 02:13 - compact.zip 2008-03-31 14:12 1.0M compact/ 2008-03-31 14:13 - comprehensive.zip 2024-01-28 08:11 65M comprehensive/ 2024-01-28 08:11 - math.zip 2015-07-03 23:37 340K math/ 2015-07-03 23:37 - text/ 2001-06-08 12:13 -