summaryrefslogtreecommitdiffstats
path: root/development/mcrl2/README (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/mcrl2: Fix invalid chars in desc. Matteo Bernardini2016-05-271-1/+1
* development/mcrl2: Added (micro Common Representation Language 2) Jockey S. Kyd2011-10-211-0/+5