User:Jpdimond/vector.js

importScript('User:Superm401/ProveIt.js');