Bedre formatering av objekt-systemer
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.
Publisert 9. mars 2022 11:46
- Sist endret 9. mars 2022 11:46