summaryrefslogtreecommitdiffstats
path: root/development/maude
Commit message (Expand)AuthorAgeFilesLines
* development/maude: Fix info. B. Watson2017-03-251-2/+2
* development/maude: Fix slack-desc. B. Watson2016-11-141-2/+2
* development/maude: Added (high-performance reflective language). Roberto Metere2016-11-035-0/+172