hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/development/rmlmmc
History
Willy Sudiarto Raharjo 41077822dc development/rmlmmc: Update doinst.sh. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 		2017-01-09 20:18:25 +00:00
..
README development/rmlmmc: Added (Relational Meta-Language). 2014-10-22 08:33:52 +07:00
doinst.sh development/rmlmmc: Update doinst.sh. 2017-01-09 20:18:25 +00: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: Fix slack-desc. 2016-11-14 16:47:23 +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