The RDT/SOSDT Eclipse Environment
---------------------------------
A tool for developing SOS/Natural semantics 
specifications using Eclipse and RML.

2006-10-03
+ added /tests

2006-11-13
+ added /update
  - contains version 1.0.0 of RDT/SOSDT
  - the update site for RDT/SOSDT Environment
  - enter "update" directory to read more on 
    how to install the tool.
+ added /presentation
  - the presentation given at SOS2006 Workshop,
    Bonn, Germany, August 26.
    http://www.cse.unsw.edu.au/~rvg/SOS2006/

Adrian Pop [adrpo@ida.liu.se], 
Last update: 2006-11-13