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
README
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

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