summaryrefslogtreecommitdiff
path: root/development/maude
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2016-11-13 22:21:45 -0500
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2016-11-14 16:47:23 +0700
commit192b7ae9f7cbedfce9f580f8461a478e72355774 (patch)
tree50e6215d474b9970897e381d2d7786c34e2e70b7 /development/maude
parent549d17b80bd4e80449101932be5c0ece72c41682 (diff)
downloadslackbuilds-192b7ae9f7cbedfce9f580f8461a478e72355774.tar.gz
development/maude: Fix slack-desc.
Diffstat (limited to 'development/maude')
-rw-r--r--development/maude/slack-desc4
1 files changed, 2 insertions, 2 deletions
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