Index of /versions/2.0

      Name                    Last modified      Size  Description
      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-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  
      maude-ppc-linux.tar.gz  03-Oct-2003 03:18  1.2M