fourtysixandtwo 715ee8bf91 development/rmlmmc: Change i486 to i586 2 роки тому
..
README 184c63a354 development/rmlmmc: Added (Relational Meta-Language). 10 роки тому
doinst.sh 41077822dc development/rmlmmc: Update doinst.sh. 7 роки тому
rmlmmc.SlackBuild 715ee8bf91 development/rmlmmc: Change i486 to i586 2 роки тому
rmlmmc.info 76e5610518 development/rmlmmc: Update homepage. 6 роки тому
slack-desc 99bb38d6af development/rmlmmc: Fix slack-desc. 8 роки тому

README

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