log src/c/urweb.c

age author description
Fri, 27 Apr 2012 09:43:09 -0400 Adam Chlipala Ensure proper ordering of <script> execution, to bring identifiers into scope in time
Wed, 25 Apr 2012 03:07:07 +0400 Vladimir Shabanov Removed excess zero byte from empty pages.
Sun, 08 Apr 2012 16:29:28 -0400 Adam Chlipala Optimize code from last changeset a bit
Sun, 08 Apr 2012 16:24:16 -0400 Adam Chlipala Refactor to avoid dependence on recursive mutexes
Fri, 16 Mar 2012 08:42:51 -0400 Adam Chlipala Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Sat, 03 Mar 2012 15:47:52 -0500 Adam Chlipala Pass non-printing characters through unchanged in sqlifyString, to support UTF-8
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday