log

age author description
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
Thu, 16 Oct 2008 13:30:40 -0400 Adam Chlipala Improving indentation of XML after antiquote
Thu, 16 Oct 2008 13:17:09 -0400 Adam Chlipala Proper indenting of normal ML-y code after </xml>
Thu, 16 Oct 2008 13:01:24 -0400 Adam Chlipala Special case indenting for <xml>...</xml>
Thu, 16 Oct 2008 12:55:16 -0400 Adam Chlipala Fix XML indent not to take two tab-tries
Thu, 16 Oct 2008 12:50:59 -0400 Adam Chlipala Reasonable indenting for pure XML
Tue, 14 Oct 2008 17:18:59 -0400 Adam Chlipala Reusable column handlers for Crud
Tue, 14 Oct 2008 16:41:48 -0400 Adam Chlipala lform -> form
Tue, 14 Oct 2008 16:37:43 -0400 Adam Chlipala Syntax highlighting for embedded XML
Mon, 13 Oct 2008 15:31:02 -0400 Adam Chlipala Reorder font-lock rules to deal better with CDATA
Sun, 12 Oct 2008 21:33:52 -0400 Adam Chlipala Good progress on highlighting embedded XML
Sun, 12 Oct 2008 12:53:45 -0400 Adam Chlipala Highlighting HTML tags
Sun, 12 Oct 2008 12:21:54 -0400 Adam Chlipala Basis and Top syntax-highlight, indent, parse, and type-check
Sun, 12 Oct 2008 11:50:21 -0400 Adam Chlipala top.urs indents and type-checks with new twiddle syntax
Sun, 12 Oct 2008 11:44:43 -0400 Adam Chlipala Basis indents and type-checks with new twiddle syntax
Sun, 12 Oct 2008 10:48:01 -0400 Adam Chlipala More indenting
Sun, 12 Oct 2008 10:30:08 -0400 Adam Chlipala Get type definitions font-locking again