Name                    Last modified       Size  Description

 Parent Directory        06-Dec-2002 08:18      -  
 wget.exe                24-Nov-2001 00:00   196k  
 setup.exe               26-Jul-2002 10:38   387k  
 news.html               26-Jul-2002 10:38     6k  
 msa.exe                 26-Jul-2002 21:56   136k  
 miktexman.css           19-Sep-2001 00:00     1k  
 install.pdf             01-Aug-2002 13:34   109k  
 install.html            01-Aug-2002 13:34    12k  
 images/                 06-Dec-2002 06:30      -  
 getrpr.bat              13-Dec-2001 00:00     2k  
 changelog.html          10-Nov-2002 19:28    68k