eiffelstudio-public - Revision 107750: /branches/eth/eve/Src/Eiffel/fix/application
..
fix_missing_local_type_application.e
fix_unused_local_application.e