log lib/ur/string.ur

age author description
2009-12-05 Adam Chlipala Represent FFI function names as strings, to deal with cross-file recursion
2009-11-01 Adam Chlipala Bidding interface
2009-05-31 Adam Chlipala strcspn and friends
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-30 Adam Chlipala String.length
2009-05-26 Adam Chlipala Chars and more string operations