log src/scriptcheck.sig

age author description
2013-03-15 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose