summaryrefslogtreecommitdiffstats
path: root/development/mcrl2
ModeNameSize
-rw-r--r--README293logstatsplain
-rw-r--r--mcrl2.SlackBuild2273logstatsplain
-rw-r--r--mcrl2.info290logstatsplain
-rw-r--r--slack-desc925logstatsplain