summaryrefslogtreecommitdiffstats
path: root/development/mcrl2/README (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/mcrl2: Fix invalid chars in desc....Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Matteo Bernardini2016-05-271-1/+1
* development/mcrl2: Added (micro Common Representation Language 2)...Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> Jockey S. Kyd2011-10-211-0/+5