summaryrefslogtreecommitdiffstats
path: root/development/mcrl2/README (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-211-0/+5