diff options
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 bd93f5916cf1..424b87bd5896 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 |