aboutsummaryrefslogtreecommitdiff
path: root/development/mcrl2/slack-desc
diff options
context:
space:
mode:
Diffstat (limited to 'development/mcrl2/slack-desc')
-rw-r--r--development/mcrl2/slack-desc2
1 files changed, 1 insertions, 1 deletions
diff --git a/development/mcrl2/slack-desc b/development/mcrl2/slack-desc
index 3ef3d501b6fec..2f9ed87f4a0ec 100644
--- a/development/mcrl2/slack-desc
+++ b/development/mcrl2/slack-desc
@@ -11,7 +11,7 @@ mcrl2:
mcrl2: mCRL2 stands for micro Common Representation Language 2. It is a
mcrl2: specification language that can be used to specify and analyse the
mcrl2: behaviour of distributed systems and protocols and is the successor
-mcrl2: to μCRL. Using its accompanying toolset systems can be analysed and
+mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and
mcrl2: verified automatically.
mcrl2:
mcrl2: http://www.mcrl2.org/