log lib/js/urweb.js

age author description
Sun, 24 Jul 2011 14:49:40 -0400 Adam Chlipala Client-side 'addSeconds'
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