Maude 3.3 (beta) nettopp tilgjengelig for OO modellering

Utrolig timing!  Maude 3.3 (beta) som st?tter opp om objekt-orientert syntaks, ble tilgjengelig forrige uke.  Blir veldig mye bedre uten Full Maude. Jeg modifiserer og sjekker mine tidligere modeller, med det ser bra ut.  Last ned fra https://github.com/SRI-CSL/Maude/releases/tag/Maude3.3beta .  Noen modeller med Maude 3.3 OO syntaks som gjennomg?s p? dagens (14.3) forelesning: phil-maude33-public.maude, full-blackjack-rules-maude33.maude og extended-population-maude33.maude.