diff options
| author | Jockey S. Kyd <jockey.kyd@gmail.com> | 2011-10-04 00:39:45 -0500 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2011-10-11 21:20:25 -0500 |
| commit | fdb33faa1e3e81958dad90d46bb07b445b2a19d5 (patch) | |
| tree | 6fe58f1dea681a98474f1821ccab75b980f3b052 /development/alloy/README | |
| parent | 87a84b5b65ade757de7d76a6c37369a21190e88b (diff) | |
| download | slackbuilds-fdb33faa1e3e81958dad90d46bb07b445b2a19d5.tar.gz | |
development/alloy: Add desktop and icon files.
Signed-off-by: Erik Hanson <erik@slackbuilds.org>
Diffstat (limited to 'development/alloy/README')
| -rw-r--r-- | development/alloy/README | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/development/alloy/README b/development/alloy/README index 180468fc39..6d1e763ac2 100644 --- a/development/alloy/README +++ b/development/alloy/README @@ -1,4 +1,3 @@ -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. |