system eiffeltest root ANY default assertion (all) precompiled ("$ISE_EIFFEL\precomp\spec\$ISE_PLATFORM\base") cluster all eiffeltest: "library" exclude "CVS" end -- EiffelBase all base: "$ISE_EIFFEL\library\base" exclude "desc"; "table_eiffel3" end -- EiffelTime all time: "$ISE_EIFFEL\library\time" exclude "french"; "german" end end -- system eiffeltest