PACKAGE NAME:  rmlmmc-280-i586-1_slonly.txz
PACKAGE MIRROR:  http://packages.slackonly.com/pub/packages/14.2-x86/
PACKAGE LOCATION:  ./development/rmlmmc
PACKAGE SIZE (compressed):  772 K
PACKAGE SIZE (uncompressed):  6370 K
PACKAGE REQUIRED:  mlton,smlnj
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
rmlmmc: rmlmmc (Relational Meta-Language (RML)
rmlmmc:
rmlmmc: This is a system for developing, compiling and debugging and teaching
rmlmmc: Structural Operational Semantics (SOS) and Natural Semantics
rmlmmc: Specifications.
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc:
rmlmmc: