Requirements.

To properly run the Maude Development Tools you need (at least):

• Eclipse 3.1.
• [http://www.eclipse.org]
• Java Runtime Environment (or JDK) 5.0 (1.5).
• [http://java.sun.com/javase/downloads/index.jsp]
• The Maude System and Full Maude.
• Maude for Linux/MacOSX/FreeBSD:
  [http://maude.cs.uiuc.edu/download/]
• Maude for Windows:
  [http://moment.dsic.upv.es/mfw/]
• Other UNIX programs^[1]:
• bash.
• kill.
• ANTLR for Eclipse 3.0.5^[2].
• Official webpage:
  [http://antlreclipse.sourceforge.net/]
• Copy in the MOMENT update site:
  [http://moment.dsic.upv.es/updates/]

¹ They are included in the complete installation of the package Maude for Windows.

² Available in our Update Site and also included in the downloadable ZIP file at http://moment.dsic.upv.es/mdt/.