Bedre formattering av OO termer
Her er min prelude.maude fil, med (bedre?) formattering av konfigurasjoner. Kun modulen CONFIGURATION (helt nederst i filen) er forandret; format attributter lagt til/forandret.
Publisert 21. mars 2023 12:32
- Sist endret 21. mars 2023 12:35