From 1723a3803d40605b8b18f64d64c0ba6caa13921c Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sun, 11 Oct 2020 17:38:14 -0400 Subject: development/spin: Fix README. Signed-off-by: B. Watson Signed-off-by: Willy Sudiarto Raharjo --- development/spin/README | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'development/spin') diff --git a/development/spin/README b/development/spin/README index ed0fad335faf7..4634fd9118efc 100644 --- a/development/spin/README +++ b/development/spin/README @@ -1,9 +1,9 @@ -Spin is a popular open-source software tool, used by thousands of people -worldwide, that can be used for the formal verification of distributed -software systems. In April 2002 the tool was awarded the prestigious System -Software Award for 2001 by the ACM. +Spin is a popular open-source software tool, used by thousands of +people worldwide, that can be used for the formal verification of +distributed software systems. In April 2002 the tool was awarded the +prestigious System Software Award for 2001 by the ACM. -By default the ispin GUI will not be installed. This may be overridden by -building with: +By default the ispin GUI will not be installed. This may be overridden +by building with: -`GUI=yes ./spin.SlackBuild` \ No newline at end of file +`GUI=yes ./spin.SlackBuild` -- cgit v1.2.3