aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2
ModeNameSize
-rw-r--r--README292logplain
-rw-r--r--mcrl2.SlackBuild3197logplain
-rw-r--r--mcrl2.info293logplain
-rw-r--r--slack-desc924logplain