log

age author description
Tue, 07 Jan 2014 08:36:18 -0500 Adam Chlipala MySQL: Combine transaction setup commands into one mysql_query()
Sun, 05 Jan 2014 20:20:09 -0500 Adam Chlipala MySQL: catch deadlocks during queries
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive
Wed, 01 Jan 2014 10:51:47 -0500 Adam Chlipala Add some URL-related benignEffectful functions
Tue, 31 Dec 2013 11:10:19 -0500 Adam Chlipala Return to working version mode
Tue, 31 Dec 2013 10:48:50 -0500 Adam Chlipala New release