log

age author description
Mon, 03 Sep 2012 09:51:23 -0400 Adam Chlipala Update tutorial for Ur/Web changes
Thu, 30 Aug 2012 17:58:37 +0400 Vladimir Shabanov Minor js optimizations.
Thu, 30 Aug 2012 17:04:30 +0400 Vladimir Shabanov Removed setting of ignored XMLHttpRequest headers.