| Sat, 05 Dec 2015 12:04:43 -0500 |
Adam Chlipala |
Use new jsFile directivedefault tip |
| Sun, 26 Jul 2015 19:45:07 -0400 |
Adam Chlipala |
Address some warnings from Ubuntu 14.04 Autotools |
| Sun, 05 Jul 2015 14:56:14 -0400 |
Adam Chlipala |
Whoops; typo in lib.urp |
| Sun, 05 Jul 2015 14:04:33 -0400 |
Adam Chlipala |
Modernizing Autotools and serving .js file automatically |
| Mon, 24 Feb 2014 14:00:49 -0500 |
Adam Chlipala |
Fixes from Patrick Hurst |
| Sat, 21 Jul 2012 10:40:23 -0400 |
Adam Chlipala |
Update for change to key/mouse events |
| Sat, 31 Dec 2011 15:38:12 -0500 |
Adam Chlipala |
Add upload error callback |
| Sat, 31 Dec 2011 15:24:27 -0500 |
Adam Chlipala |
Tweak JavaScript to make it possible to roll back unwise Ur/Web runtime system change |
| Thu, 29 Dec 2011 16:31:23 -0500 |
Adam Chlipala |
Fix comment |
| Thu, 29 Dec 2011 16:07:28 -0500 |
Adam Chlipala |
Client-side upload widget creation |
| Thu, 29 Dec 2011 15:46:15 -0500 |
Adam Chlipala |
Change interface to allow setting submit button text |
| Thu, 29 Dec 2011 15:42:15 -0500 |
Adam Chlipala |
Auto-submit |
| Thu, 29 Dec 2011 15:26:46 -0500 |
Adam Chlipala |
Complete working example with required submit button click |
| Thu, 29 Dec 2011 14:37:31 -0500 |
Adam Chlipala |
Submitting to an iframe |
