Bedre formatering av objekt-systemer_澳门皇冠体育,皇冠足球比分

peterol
2022-03-09T10:46:57.874Z
type:structured-message
www.uio.no

Jeg har lagt til noen "format" attributter i CONFIGURATION-modulene i prelude.maude og full-maude31.maude for ? f? mye mer leselig output av store termer med objekter og meldinger.