Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | development/maude: Updated for version 3.1. | Matteo Bernardini | 2022-02-07 | 1 | -5/+5 |
* | development/maude: Fix info. | B. Watson | 2017-03-25 | 1 | -2/+2 |
* | development/maude: Added (high-performance reflective language). | Roberto Metere | 2016-11-03 | 1 | -0/+12 |