From: Marco Antoniotti <marcoxa@cs...> - 2002-06-13 17:18:27
a new updated releas of MK:DEFSYSTEM has been uploaded to the File
Release area of the CLOCC project
The new release is tagged 3.3i and contains the latest CVS additions
and a README file with a pointer to the documentation at CMU.
Marco Antoniotti ========================================================