slackbuilds_ponce/development/rmlmmc
R. S. Ananda Murthy 24247329e5 development/rmlmmc: Update VERSION.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2014-11-27 00:53:21 +07:00
..
doinst.sh development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00
README development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00
rmlmmc.info development/rmlmmc: Update VERSION. 2014-11-27 00:53:21 +07:00
rmlmmc.SlackBuild development/rmlmmc: Update VERSION. 2014-11-27 00:53:21 +07:00
slack-desc development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00

Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications