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