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."