From 1d9ef0c4e51700f2fdaab1ea54470c37e9346f65 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Mon, 12 Oct 2020 20:46:27 -0400 Subject: development/alloy: Fix README. Signed-off-by: B. Watson Signed-off-by: Willy Sudiarto Raharjo --- development/alloy/README | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/development/alloy/README b/development/alloy/README index 6d1e763ac2719..49ec15f20bc7d 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. -- cgit v1.2.3