Programy według mdt.sf.net

Maude Development Tools to zestaw wtyczek, które osadzają interpretera maude (http://maude.cs.uiuc.edu) w Eclipse. Zapewnia podstawową wtyczkę, która pozwala na dowolny program Java do korzystania z Maude, a zestaw wtyczek, k