log lib/ur/string.ur

age author description
2014-06-11 Adam Chlipala Change String to avoid Char dependency
2014-06-10 Adam Chlipala String.trim; add OnChange to more tags
2011-01-13 Adam Chlipala More string processing
2011-01-11 Adam Chlipala Some more string parsing functions; naughtyDebug
2011-01-11 Adam Chlipala String processing optimizations
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-03-02 Adam Chlipala String.isPrefix