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 |