Maude p? studentmaskinene

Fikk beskjed fra en student (takk!) at Maude IKKE er installert p? Redhat 6-maskinene som studentene tydligvis bruker. Maude er tilgjenglig p? Redhat 5 (inklusive login-maskinene jeg bruker for ? logge inn fra kontoret). Jeg har bedt drift om ? installere Maude ogs? p? de andre linux-maskinene.

Det er for?vrig rimelig greit ? installere Maude p? egen maskin (eget filomr?de) fra http://maude.cs.illinois.edu/download/