log src/settings.sml

age author description
Sat, 03 Dec 2011 16:25:09 -0500 Adam Chlipala Change client-side debug to use console.debug
Sat, 03 Dec 2011 16:05:06 -0500 Adam Chlipala Client-side strlenGe
Thu, 24 Nov 2011 11:27:51 -0500 Adam Chlipala Client-side timef