log

age author description
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
Fri, 24 Apr 2015 10:01:56 -0400 Adam Chlipala Ignore manual.out
Fri, 24 Apr 2015 07:51:47 -0400 Julian Squires Allow file directives to contain slashes
Fri, 24 Apr 2015 07:43:22 -0400 Julian Squires Use hyperref in manual
Thu, 23 Apr 2015 16:37:15 -0400 Istvan Chung Fix missing SQL name-mangling in table initialization
Sun, 12 Apr 2015 14:28:27 -0400 Adam Chlipala Return to working version mode
Sun, 12 Apr 2015 14:19:02 -0400 Adam Chlipala New release
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Sun, 08 Mar 2015 11:12:28 -0400 Adam Chlipala Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows
Sun, 08 Mar 2015 11:05:54 -0400 Adam Chlipala Fix dynClass JavaScript reversion
Sun, 08 Mar 2015 10:55:05 -0400 Adam Chlipala Fix interpretation of 'file' argument paths
Fri, 06 Mar 2015 09:46:21 -0500 Adam Chlipala Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 15:03:04 -0500 Adam Chlipala Hexadecimal integer literals, contributed by Gabriel Riba
Thu, 05 Mar 2015 14:58:34 -0500 Adam Chlipala Document new infix operators
Thu, 05 Mar 2015 14:50:31 -0500 Adam Chlipala Some new infix operators, contributed by Gabriel Riba
Tue, 03 Mar 2015 15:55:00 -0500 Adam Chlipala Support 'dynClass' and 'dynStyle' for <body>
Mon, 16 Feb 2015 14:52:56 -0500 Adam Chlipala Evaluate minus and times in MonoOpt
Sun, 26 Oct 2014 14:07:07 +0000 Sergey Mironov Add 'download' attribute to <a/>, part of HTML5
Sat, 14 Feb 2015 08:27:50 -0500 Adam Chlipala Return to working version mode
Sat, 14 Feb 2015 08:17:36 -0500 Adam Chlipala New release
Thu, 12 Feb 2015 15:09:26 -0500 Adam Chlipala The 2nd half of proper CSRF protection related to environment variables