diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2016-05-26 15:40:31 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-05-27 07:23:29 +0700 |
| commit | 60b0f370c034d29ba39cce972c5d945a21d0d130 (patch) | |
| tree | 93fb3d15a3c9e6ccc8cfa8b7fb89f648a97fab5f /development/mcrl2 | |
| parent | 7616ad53877b7486f8d3184631df81a90100c1ad (diff) | |
development/mcrl2: Fix invalid chars in desc.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
| -rw-r--r-- | development/mcrl2/README | 2 | ||||
| -rw-r--r-- | development/mcrl2/slack-desc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/development/mcrl2/README b/development/mcrl2/README index 57354a8109ad1..29abd169e97cf 100644 --- a/development/mcrl2/README +++ b/development/mcrl2/README @@ -1,5 +1,5 @@ mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to -μCRL. Using its accompanying toolset systems can be analysed and verified +mCRL. Using its accompanying toolset systems can be analysed and verified automatically. 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/ |