log

age author description
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.