log include/urweb.h

age author description
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog