log

age author description
Sun, 19 Oct 2008 14:53:38 -0400 Adam Chlipala Small demo prettifications
Sun, 19 Oct 2008 14:51:12 -0400 Adam Chlipala Generating fontified source files
Sun, 19 Oct 2008 14:13:08 -0400 Adam Chlipala Generating urp HTML
Sun, 19 Oct 2008 14:05:00 -0400 Adam Chlipala Demo HTML generation, minus source code
Sun, 19 Oct 2008 12:50:49 -0400 Adam Chlipala Link demo
Sun, 19 Oct 2008 12:47:10 -0400 Adam Chlipala Proper configuration and installation
Sun, 19 Oct 2008 12:12:59 -0400 Adam Chlipala Proper generation of relation names; checking that sequences exist
Sun, 19 Oct 2008 11:11:49 -0400 Adam Chlipala Simple generation of persistent paths
Thu, 16 Oct 2008 17:31:24 -0400 Adam Chlipala Fixing overzealous SQL paren-nester
Thu, 16 Oct 2008 17:15:21 -0400 Adam Chlipala Indenting paren-nested SQL expressions
Thu, 16 Oct 2008 16:24:19 -0400 Adam Chlipala Indenting simple DML properly
Thu, 16 Oct 2008 16:15:17 -0400 Adam Chlipala Indenting SELECT sub-clauses properly
Thu, 16 Oct 2008 16:00:58 -0400 Adam Chlipala Crud auto-indented correctly
Thu, 16 Oct 2008 14:52:50 -0400 Adam Chlipala Fix problem with sig/struct indenting
Thu, 16 Oct 2008 14:40:28 -0400 Adam Chlipala Crud indented properly, except for <xml>...</xml> outside parens and sig/struct
Thu, 16 Oct 2008 14:17:55 -0400 Adam Chlipala Removed handling of <,> as operators, for now