Index of /~adrpo33/sosdt

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] update/ 2006-11-13 10:39 - [DIR] tests/ 2006-10-03 03:46 - [DIR] presentation/ 2006-11-13 11:08 - [TXT] README 2006-11-13 11:12 570
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