summaryrefslogtreecommitdiffstats
path: root/development/mcrl2 (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/mcrl2: Added (micro Common Representation Language 2)...Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> Jockey S. Kyd2011-10-214-0/+124