log lib/js/urweb.js

age author description
Fri, 15 Jul 2011 10:02:54 -0400 Adam Chlipala Fixes for detecting pastes and autocompletes for dynamic textboxes
Wed, 06 Jul 2011 08:35:31 -0400 Adam Chlipala Add client-side Basis.now and pretty-printing of times
Sat, 02 Jul 2011 20:49:58 -0430 Karn Kallio Fix flift.