log

age author description
Sun, 13 Apr 2014 21:36:44 -0400 Adam Chlipala Update manual inaccuracies about client-side functions