log src/tag.sml

age author description
Wed, 25 Nov 2009 09:03:08 -0500 Adam Chlipala Better error message for link-handler conflicts
Tue, 11 Aug 2009 12:01:54 -0400 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes