diff options
| -rw-r--r-- | development/spin/README | 14 |
1 files changed, 7 insertions, 7 deletions
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` |