Wed, 18 Jul 2012 17:29:13 -0400 |
Adam Chlipala |
Support fancy expressions in module-level 'val' declarations |
Wed, 16 May 2012 22:46:35 +0400 |
Vladimir Shabanov |
Allow RPC and run it synchronously in onunload event. |
Sun, 06 May 2012 16:08:48 -0400 |
Adam Chlipala |
Run-time CSS style validation |
Fri, 27 Apr 2012 09:52:16 -0400 |
Adam Chlipala |
Avoid generating empty <script> tags |
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 |
Sat, 14 Jan 2012 23:02:34 +0400 |
Vladimir Shabanov |
Fixed clients mutex initialization for compiling under OS X. |
Tue, 10 Jan 2012 17:32:48 -0500 |
Adam Chlipala |
Fix some locking issues for client array |
Tue, 10 Jan 2012 15:34:18 -0500 |
Adam Chlipala |
Properly handle case where an RPC changes signed cookie state |
Sun, 08 Jan 2012 15:47:05 -0500 |
Adam Chlipala |
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet |
Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |