diff options
| author |   B. Watson | 2016-11-14 04:21:22 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2016-11-14 10:47:23 +0100 |
| commit | 99bb38d6af64aa4d131c9d4c7f656e7087743f66 (patch) | |
| tree | 07329a2afa7a23d2b2533017f7dd3e089f3dc3d0 /development/rmlmmc | |
| parent | bdc4af97afc4df710ee1be374c924a9b42085e0b (diff) | |
| download | old.slackbuilds-99bb38d6af64aa4d131c9d4c7f656e7087743f66.tar.gz | |
development/rmlmmc: Fix slack-desc.
Diffstat (limited to 'development/rmlmmc')
| -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 bd93f5916c..424b87bd58 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 |