Mercurial > urweb
log tests/substring.urp
age | author | description |
---|---|---|
2009-05-30 | Adam Chlipala | Substring functions; fix a nasty MonoReduce pattern match substitution bug |
age | author | description |
---|---|---|
2009-05-30 | Adam Chlipala | Substring functions; fix a nasty MonoReduce pattern match substitution bug |