summarylogtreecommitdiffstats
path: root/mcrl2.install
AgeCommit message (Expand)Author
2015-07-06Initial importNikolaos Bezirgiannis