Index of /versions/2.0

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Changes                 27-Sep-2003 12:25  2.4K  
[   ] full-maude.maude        03-Oct-2003 02:57  499K  
[   ] maude-darwin.tar.gz     03-Oct-2003 03:15  645K  
[   ] maude-ppc-linux.tar.gz  03-Oct-2003 03:18  1.2M  
[   ] maude-sparc-solaris...> 03-Oct-2003 03:17  719K  
[   ] maude-src.tar.gz        03-Oct-2003 03:10  733K  
[   ] maude-x86-linux.tar.gz  03-Oct-2003 03:17  952K
Apache/2.0.54 (Debian GNU/Linux) Server at maude.cs.uiuc.edu Port 80