From 192b7ae9f7cbedfce9f580f8461a478e72355774 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sun, 13 Nov 2016 22:21:45 -0500 Subject: development/maude: Fix slack-desc. --- development/maude/slack-desc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'development') diff --git a/development/maude/slack-desc b/development/maude/slack-desc index 2671c111d9..ad014eb0b2 100644 --- a/development/maude/slack-desc +++ b/development/maude/slack-desc @@ -8,8 +8,8 @@ |-----handy-ruler------------------------------------------------------| maude: maude (high-performance reflective language) maude: -maude: Maude is a high-performance reflective language and system -maude: supporting both equational and rewriting logic specification +maude: Maude is a high-performance reflective language and system +maude: supporting both equational and rewriting logic specification maude: and programming for a wide range of applications. maude: maude: http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System -- cgit v1.2.3