Maude 3.3 (beta) satt opp p? Ifis maskiner
Maude 3.3 beta er n? (snart) installert p? ifi's linux cluster som kommandoen "maude".
Publisert 16. mars 2023 11:25
- Sist endret 16. mars 2023 11:25
Maude 3.3 beta er n? (snart) installert p? ifi's linux cluster som kommandoen "maude".