63daf9f79a
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> |
||
|---|---|---|
| .. | ||
| README | ||
| doinst.sh | ||
| rmlmmc.SlackBuild | ||
| rmlmmc.info | ||
| slack-desc | ||
README
Relational Meta-Language (RML) and Tools A System for Developing, Compiling and Debugging and Teaching Structural Operational Semantics (SOS) and Natural Semantics Specifications