hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/development/rmlmmc
History
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
..
README development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00
doinst.sh development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00
rmlmmc.SlackBuild development/rmlmmc: Update VERSION. 2014-11-27 00:53:21 +07:00
rmlmmc.info 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

README 

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