log

age author description
Sat, 03 Mar 2012 16:20:54 -0500 Adam Chlipala Avoid 'not fully determined' errors for fancy tasks
Sat, 03 Mar 2012 15:47:52 -0500 Adam Chlipala Pass non-printing characters through unchanged in sqlifyString, to support UTF-8