eiffelstudio - Revision 103515: /branches/eth/eve/Src/library/logging