log src/settings.sml

age author description
Thu, 11 Feb 2010 09:10:01 -0500 Adam Chlipala sigfile directive
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