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.

¹ For Windows systems, they are included in the complete installation of the package Maude for Windows.