From 99bb38d6af64aa4d131c9d4c7f656e7087743f66 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sun, 13 Nov 2016 22:21:22 -0500 Subject: development/rmlmmc: Fix slack-desc. --- development/rmlmmc/slack-desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'development/rmlmmc') 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 -- cgit v1.2.3-65-gdbad