diff options
| -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 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 |