slackbuilds/development/rmlmmc
David Spencer 76e5610518 development/rmlmmc: Update homepage.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
2018-04-28 17:15:47 +01:00
..
README
doinst.sh development/rmlmmc: Update doinst.sh. 2017-01-09 20:18:25 +00:00
rmlmmc.SlackBuild
rmlmmc.info development/rmlmmc: Update homepage. 2018-04-28 17:15:47 +01:00
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