From 34c5b42f58c0138cc5a677ec095106a8a383005a Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Tue, 13 Oct 2020 00:32:13 -0400 Subject: development/mcrl2: Fix README. Signed-off-by: B. Watson Signed-off-by: Willy Sudiarto Raharjo --- development/mcrl2/README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/development/mcrl2/README b/development/mcrl2/README index 29abd169e97c..a6e39d196acd 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 -mCRL. Using its accompanying toolset systems can be analysed and verified -automatically. +behaviour of distributed systems and protocols and is the successor +to mCRL. Using its accompanying toolset systems can be analysed and +verified automatically. -- cgit v1.2.3