log

age author description
Sun, 20 Dec 2015 14:39:50 -0500 Adam Chlipala Return to working version modedefault tip
Sun, 20 Dec 2015 14:25:46 -0500 Adam Chlipala New release
Sun, 20 Dec 2015 14:20:38 -0500 Adam Chlipala Short manual note on -sqlcache
Sun, 20 Dec 2015 14:18:52 -0500 Adam Chlipala Merge Sqlcache