Mercurial > urweb
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 |