changeset | c1e3805e604e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation |
files |
changeset | aa2290c32ce2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Avoid any JavaScript when pages don't need it; update demo prose |
files |