log

age author description
Fri, 30 Nov 2012 10:02:13 -0500 Adam Chlipala add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
Fri, 30 Nov 2012 09:50:00 -0500 Adam Chlipala Fix generation of timestamp literals for MySQL and SQLite
Wed, 28 Nov 2012 16:56:45 -0500 Adam Chlipala Allow any FFI module to declare new HTML tags