eiffelstudio - Revision 103716: /trunk/Src/library/text/regexp/kmp_matcher