diff options
| author | B. Watson <yalhcru@gmail.com> | 2016-11-13 22:21:45 -0500 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-11-14 16:47:23 +0700 |
| commit | 192b7ae9f7cbedfce9f580f8461a478e72355774 (patch) | |
| tree | 50e6215d474b9970897e381d2d7786c34e2e70b7 /development/maude | |
| parent | 549d17b80bd4e80449101932be5c0ece72c41682 (diff) | |
development/maude: Fix slack-desc.
Diffstat (limited to 'development/maude')
| -rw-r--r-- | development/maude/slack-desc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/development/maude/slack-desc b/development/maude/slack-desc index 2671c111d91c..ad014eb0b235 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 |