summaryrefslogtreecommitdiff
path: root/src/scriptcheck.sig
Commit message (Expand)AuthorAge
* Make Scriptcheck catch more script/message-passing uses, and move the phase e...Gravatar Adam Chlipala2013-03-15
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10