log

age author description
Fri, 14 Sep 2012 07:35:48 -0400 Adam Chlipala Reduce default inlining thresholds; improve a let-substitution optimization to compensate
Fri, 14 Sep 2012 06:44:14 -0400 Adam Chlipala Merge
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
Wed, 22 Aug 2012 08:46:32 -0400 Adam Chlipala show_sql_query
Sat, 18 Aug 2012 13:57:48 -0400 Adam Chlipala Add list of files to new error message
Sat, 18 Aug 2012 13:51:41 -0400 Adam Chlipala Better error message for funky command lines
Tue, 07 Aug 2012 10:02:19 -0400 Adam Chlipala Return to working version mode
Tue, 07 Aug 2012 09:41:02 -0400 Adam Chlipala New release
Sun, 05 Aug 2012 17:11:39 -0400 Adam Chlipala Revert last changeset for now; needs more thought