aboutsummaryrefslogtreecommitdiff
path: root/development/maude/maude.info
AgeCommit message (Expand)Author
2022-02-07development/maude: Updated for version 3.1.Matteo Bernardini
2017-03-25development/maude: Fix info.B. Watson
2016-11-03development/maude: Added (high-performance reflective language).Roberto Metere