diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-11 17:38:14 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:36:58 +0700 |
| commit | 1723a3803d40605b8b18f64d64c0ba6caa13921c (patch) | |
| tree | 8fac9b4bf1ff689edf46ca887c6cacdcc2d31eba | |
| parent | 50801868f517c7446480204dd7058029a7ad6ef2 (diff) | |
development/spin: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
| -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` |