Har dere problemer med ? ¡­

Har dere problemer med ? utf?re s?k i Full Maude 2.1? Fant en bug i g?r som skal (uoffisielt) v?re fikset p? IFI-systemet n?. For dere som har installert Maude 2.1 privat, foresl?r jeg at dere gj?r endringen som er beskrevet her .