log

age author description
Wed, 12 Sep 2012 19:49:02 +0400 Vladimir Shabanov Fixed HTTP date format and added Cache-Control to app.js
Sun, 05 Aug 2012 14:55:28 -0400 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
Tue, 04 Sep 2012 16:30:22 -0400 Adam Chlipala Manual addition for last changeset
Tue, 04 Sep 2012 03:32:59 +0400 Vladimir Shabanov Added 'coreInline' and 'monoInline' .urp options
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.
Thu, 30 Aug 2012 17:00:18 +0400 Vladimir Shabanov Fixed memory leak in dynClass