index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
ur
/
string.ur
Commit message (
Expand
)
Author
Age
*
Change String to avoid Char dependency
Adam Chlipala
2014-06-11
*
String.trim; add OnChange to more tags
Adam Chlipala
2014-06-10
*
More string processing
Adam Chlipala
2011-01-13
*
Some more string parsing functions; naughtyDebug
Adam Chlipala
2011-01-11
*
String processing optimizations
Adam Chlipala
2011-01-11
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
String.isPrefix
Adam Chlipala
2010-03-02
*
Handling errors during commit
Adam Chlipala
2010-01-26
*
Reduce concatenations of the empty record; unpoly non-recursive functions
Adam Chlipala
2010-01-10
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
*
Bidding interface
Adam Chlipala
2009-11-01
*
strcspn and friends
Adam Chlipala
2009-05-31
*
Substring functions; fix a nasty MonoReduce pattern match substitution bug
Adam Chlipala
2009-05-30
*
String.length
Adam Chlipala
2009-05-30
*
Chars and more string operations
Adam Chlipala
2009-05-26