Commit graph

1 commit

Author SHA1 Message Date
Jockey S. Kyd
3515f10a97 development/mcrl2: Added (micro Common Representation Language 2)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-10-21 17:28:40 -02:00