diff options
| author |   B. Watson <yalhcru@gmail.com> | 2020-10-12 20:46:27 -0400 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:38:47 +0700 |
| commit | 1d9ef0c4e51700f2fdaab1ea54470c37e9346f65 (patch) | |
| tree | aa9677bfe1edf709be7474f1b82321d39f93aa8d /development/alloy/README | |
| parent | 2bd04a7f5a6f3ba0948e750401220bf63eab5ea5 (diff) | |
| download | slackbuilds-1d9ef0c4e51700f2fdaab1ea54470c37e9346f65.tar.gz slackbuilds-1d9ef0c4e51700f2fdaab1ea54470c37e9346f65.tar.xz | |
development/alloy: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to '')
| -rw-r--r-- | development/alloy/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/development/alloy/README b/development/alloy/README index 6d1e763ac2..49ec15f20b 100644 --- a/development/alloy/README +++ b/development/alloy/README @@ -1,3 +1,4 @@ -Alloy is a lightweight modelling language for software design. It is amenable -to a fully automatic analysis, using the Alloy Analyzer, and provides a -visualizer for making sense of solutions and counterexamples it finds. +Alloy is a lightweight modelling language for software design. It is +amenable to a fully automatic analysis, using the Alloy Analyzer, and +provides a visualizer for making sense of solutions and counterexamples +it finds. |