From fdb33faa1e3e81958dad90d46bb07b445b2a19d5 Mon Sep 17 00:00:00 2001 From: "Jockey S. Kyd" Date: Tue, 4 Oct 2011 00:39:45 -0500 Subject: development/alloy: Add desktop and icon files. Signed-off-by: Erik Hanson --- development/alloy/README | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'development/alloy/README') 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. -- cgit v1.2.3