xml Schema

The xml schema against which a configuration file has to validate can be found here:

• 6.0 Release: http://www.eiffel.com/developers/xml/configuration-1-2-0.xsd
• 5.7 Release: http://www.eiffel.com/developers/xml/configuration-1-0-0.xsd

or in the svn repository

• 6.0 Release: https://svn.origo.ethz.ch/eiffelstudio/trunk/Src/framework/configuration/versioning/configuration-1-2-0.xsd
• 5.7 Release: https://svn.origo.ethz.ch/eiffelstudio/trunk/Src/framework/configuration/versioning/configuration-1-0-0.xsd

Changelog

1.2.0 (EiffelStudio 6.0)

• 1.0.0 configurations work without any changes

Added Features

• Renamed `full_type_checking' option into `full_class_checking' option
• Supplier precondition assertions
• Hidden/implementation clusters
• UUID no longer necessary
• Use application options on libraries

1.0.0 (EiffelStudio 5.7)

• Initial Release