summaryrefslogtreecommitdiff
path: root/development/maude
Commit message (Expand)AuthorAge
* development/maude: Fix info.B. Watson2017-03-25
* development/maude: Fix slack-desc.B. Watson2016-11-14
* development/maude: Added (high-performance reflective language).Roberto Metere2016-11-03