summaryrefslogtreecommitdiff
path: root/development/maude/maude.info
Commit message (Expand)AuthorAge
* development/maude: Updated for version 3.1.Matteo Bernardini2022-02-07
* development/maude: Fix info.B. Watson2017-03-25
* development/maude: Added (high-performance reflective language).Roberto Metere2016-11-03