log

age author description
Sun, 10 May 2015 12:56:19 -0400 Adam Chlipala Fix .sql generation to honor 'noMangleSql' in column names
Sun, 10 May 2015 12:13:12 -0400 Adam Chlipala Make naughtyDebug use protocol-specific logging
Mon, 04 May 2015 14:35:07 -0400 Julian Squires Fix XML indentation in Emacs mode
Tue, 05 May 2015 14:03:06 -0400 Julian Squires Treat "style" as starting an expression in urweb-mode
Mon, 04 May 2015 16:15:01 -0400 Julian Squires Add urweb-mode command to close current XML tag
Fri, 24 Apr 2015 16:21:55 -0400 Julian Squires Allow URIs specified in file directives implicitly
Mon, 04 May 2015 13:22:29 -0400 Julian Squires Add fieldset and legend tags
Sun, 03 May 2015 09:40:13 -0400 Adam Chlipala Set dummy header lookup function in static.c