Ang?ende Eclipse for Maude, fikk ¡­

Ang?ende Eclipse for Maude, fikk jeg f?lgende mail fra en student: "Jeg bare skulle gi tilbakemelding p? at plugin til Eclipse for Maude fungerer utmerket! Den kan hentes fra http://moment.dsic.upv.es/. Enkleste m?te ? installere p? er ? bruke den innebygde "find and install" funksjonen til Eclipse og lime inn update-siten til denne pluginen (http://moment.dsic.upv.es/updates/), da g?r alt automatisk."