eiffelstudio-public - Revision 107776: /branches/eth/hagedoch/compatible/library/text/regexp/kmp_matcher