log src/settings.sml

age author description
Thu, 07 Jan 2010 14:02:58 -0500 Adam Chlipala Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Sun, 03 Jan 2010 15:58:34 -0500 Adam Chlipala Deadlines
Fri, 01 Jan 2010 10:49:36 -0500 Adam Chlipala Proper client-side attrifyString