log

age author description
Sun, 15 Jun 2014 09:27:41 -0400 Adam Chlipala Return to working version mode
Sun, 15 Jun 2014 09:18:01 -0400 Adam Chlipala New release
Fri, 13 Jun 2014 10:57:02 -0400 Adam Chlipala Treat <button> 'value' attribute as content of tag
Wed, 11 Jun 2014 14:22:47 -0400 Adam Chlipala let..where..end
Thu, 05 Jun 2014 20:36:12 +0000 Sergey Mironov Allow '+' char in blessMime
Wed, 11 Jun 2014 13:56:00 -0400 Adam Chlipala Fix a bug in demos with 'rewrite all'
Wed, 11 Jun 2014 08:31:14 -0400 Adam Chlipala Change String to avoid Char dependency
Tue, 10 Jun 2014 10:58:22 -0400 Adam Chlipala String.trim; add OnChange to more tags
Mon, 09 Jun 2014 18:26:03 -0400 Adam Chlipala Remove special treatment of <button>
Sat, 31 May 2014 16:57:52 -0400 Adam Chlipala Return to working version mode
Sat, 31 May 2014 16:47:42 -0400 Adam Chlipala New release
Wed, 28 May 2014 11:53:19 -0400 Adam Chlipala Align to sizeof(void *) instead of fixed 4
Sun, 25 May 2014 09:21:56 -0400 Adam Chlipala Warn about MLton memory usage
Sun, 18 May 2014 19:09:09 -0400 Adam Chlipala Fix datetime construction (contributed by Patrick Hurst)
Sat, 10 May 2014 20:38:13 -0400 David Snider Added HTML5 Semantic Tags
Sun, 18 May 2014 18:58:50 -0400 Adam Chlipala Change context-local memory allocation to return word-aligned addresses (based on patch by Evan Danaher)