log lib/js/urweb.js

age author description
Fri, 22 Jul 2011 15:39:38 -0400 Adam Chlipala Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
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