Bedre formattering av OO termer_亚博娱乐官网_亚博pt手机客户端登录

peterol
2023-03-21T11:32:32.202Z
type:structured-message
www.uio.no

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.