This directory contains source code from various contributors.
The files are either unchanged or may have been adapted for ECLiPSe.
In any case, they retain their original copying conditions.
See the file headers and the file legal/LEGAL for details. 
