Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/development/rmlmmc/

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

 Name                                                          Last modified      Size  
 Parent Directory                                                                   -   
 README                                                        08-Jun-2022 22:28  179   
 doinst.sh                                                     08-Jun-2022 22:28  322   
 rml-mmc_280.orig.tar.gz                                       08-Jun-2022 22:28  2.7M  
 rmlmmc.SlackBuild                                             11-Mar-2022 06:34  3.2K  
 rmlmmc.info                                                   08-Jun-2022 22:28  335   
 slack-desc                                                    08-Jun-2022 22:28  761   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!