This is the update site RDT/SOSDT Environment.
The RDT/SOSDT is and Eclipse environment for developing 
Structural Operational Semantics Specification 
or Natural Semantics Specifications
using the Relational Meta-Language (RML).

To install RDT/SOSDT start Eclipse and go to menu:
Help->Software Updates->Find and Install...
Select: "Search for new features to install" then click Next
Click: "New Remote Site"
 - Name: RDT/SOSDT
 - URL : http://www.ida.liu.se/~adrpo/sosdt/update
Select: "RDT/SOSDT", then click: "Finish".
------

To update RDT/SOSDT follow the same procedure.
New versions of the tool will be available in the
comming weeks as we work to improve the RML compiler
to provide more context information for RDT/SOSDT.


NOTE:
 You will need the Relational Meta-Language (RML) installed
 to be able to use the RDT/SOSDT Environment. 
 More information on how to get and install RML is available at:
 http://www.ida.liu.se/~pelab/rml


Adrian Pop, adrpo@ida.liu.se
Last Updated: 2006-11-13