Programma's van mdt.sf.net

De Maude Development Tools zijn een set plugins die de maude interpreter (http://maude.cs.uiuc.edu) insluiten in Eclipse. Het biedt een kern plugin, die het mogelijk maakt om een Java-programma om Maude te gebruiken, en een s