Index of /pub/teTeX

Name	Last modified	Size

Parent Directory		-
1.0/	14-Mar-2000 00:15	-
2.0/	20-Jan-2003 00:14	-
CHECKSUMS	06-Aug-2003 20:48	1.0K
ChangeLog	12-Feb-2000 13:36	18K
current/	28-Sep-2003 00:14	-

Apache/2.2.9 (Debian) PHP/5.2.6-1+lenny10 with Suhosin-Patch mod_ssl/2.2.9 OpenSSL/0.9.8g mod_perl/2.0.4 Perl/v5.10.0 Server at bolyai.cs.elte.hu Port 80