log

age author description
Wed, 02 Mar 2011 18:35:03 -0500 Adam Chlipala Allow debug and naughtyDebug in client-side code, implemented with alert