Index of /versions/2.0.1

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      Changes                 27-Sep-2003 12:25  1.8K  
      maude-alpha.tar.gz      03-Oct-2003 02:55  1.2M  
      maude-darwin.tar.gz     03-Oct-2003 02:55  734K  
      maude-freeBSD.tar.gz    03-Oct-2003 02:55  787K  
      maude-ppc-linux.tar.gz  03-Oct-2003 02:55  1.3M  
      maude-sparc-solaris...> 03-Oct-2003 02:55  803K  
      maude-src.tar.gz        03-Oct-2003 02:55  1.0M  
      maude-x86-linux.tar.gz  03-Oct-2003 02:55  1.0M  
      full-maude.maude        03-Oct-2003 02:56  499K