Index of /~adrpo/sosdt

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