slackbuilds/development/rmlmmc
fourtysixandtwo 715ee8bf91 development/rmlmmc: Change i486 to i586 2022-06-07 02:23:17 -04:00
..
README
doinst.sh
rmlmmc.SlackBuild development/rmlmmc: Change i486 to i586 2022-06-07 02:23:17 -04:00
rmlmmc.info development/rmlmmc: Update homepage. 2018-04-28 17:15:47 +01:00
slack-desc

README

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