Index of /~adrpo/sosdt

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 tests/                  03-Oct-2006 03:46    -   
 update/                 13-Nov-2006 10:39    -   
 presentation/           13-Nov-2006 11:08    -   

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