log src/monoize.sml

age author description
Sun, 10 Aug 2014 13:40:53 -0400 Ziv Scully Adds AJAX-oriented widget cpassword.
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Fri, 01 Aug 2014 11:43:44 -0400 Adam Chlipala 'aria-*' attributes
Sun, 15 Jun 2014 10:48:53 -0400 Adam Chlipala 'sql_injectable_prim' instance for 'url'
Fri, 13 Jun 2014 10:57:02 -0400 Adam Chlipala Treat <button> 'value' attribute as content of tag
Mon, 09 Jun 2014 18:26:03 -0400 Adam Chlipala Remove special treatment of <button>
Sun, 04 May 2014 12:33:44 -0400 Adam Chlipala Fix dynClass for non-<body> contexts