LOTOS Integrated Tool Environment

Currently, the Lite distributution contains the result as was at the end of the Lotosphere project. Improvements have been made to some tools in Lite, but so far these improvements were not integrated in a new distribution. Such an integration has been on our minds for some time, and finally we have started to work on it. The result should be available soon.

At this moment, in addition to what we distribute(d) already, all we have to offer is the text of the handout about our planned distribution of Lite (also available as gzip-ed postscript).
Watch this space for news...