Index of /~budin

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Tutorial.ps.gz          08-Dec-1999 01:24   48K  
[DIR] coq-docs-html/          02-Sep-2000 13:13    -   
[   ] myrkky.zip              21-Jan-1998 02:53  1.3M  
[TXT] sample.html             10-May-2000 19:14  1.0K  
[   ] shop.tar.gz             11-Dec-1998 15:38  308K  
[   ] wsdemo.zip              01-Jul-2000 13:11  1.0M
Apache/2.2.3 (Debian) PHP/4.4.4-8+etch6 mod_ssl/2.2.3 OpenSSL/0.9.8c mod_perl/2.0.2 Perl/v5.8.8 Server at stunix.uni.udm.ru Port 80