diff options
| author | B. Watson <yalhcru@gmail.com> | 2016-11-13 22:21:22 -0500 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-11-14 16:47:23 +0700 |
| commit | 99bb38d6af64aa4d131c9d4c7f656e7087743f66 (patch) | |
| tree | 07329a2afa7a23d2b2533017f7dd3e089f3dc3d0 /development/rmlmmc/slack-desc | |
| parent | bdc4af97afc4df710ee1be374c924a9b42085e0b (diff) | |
development/rmlmmc: Fix slack-desc.
Diffstat (limited to 'development/rmlmmc/slack-desc')
| -rw-r--r-- | development/rmlmmc/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/rmlmmc/slack-desc b/development/rmlmmc/slack-desc index bd93f5916cf13..424b87bd58968 100644 --- a/development/rmlmmc/slack-desc +++ b/development/rmlmmc/slack-desc @@ -6,7 +6,7 @@ # customary to leave one space after the ':' except on otherwise blank lines. |-----handy-ruler------------------------------------------------------| -rmlmmc: rmlmmc (Relational Meta-Language (RML) and Tools) +rmlmmc: rmlmmc (Relational Meta-Language (RML) rmlmmc: rmlmmc: This is a system for developing, compiling and debugging and teaching rmlmmc: Structural Operational Semantics (SOS) and Natural Semantics |