summaryrefslogtreecommitdiffstats
path: root/development/mcrl2/slack-desc (follow)
Commit message (Expand)AuthorAgeFilesLines
* development/mcrl2: Fix invalid chars in desc. Matteo Bernardini2016-05-271-1/+1
* various: Fix slack-desc formatting and comment nit picks. dsomero2013-11-221-5/+5
* development/mcrl2: Added (micro Common Representation Language 2) Jockey S. Kyd2011-10-211-0/+19