What Can JavaScript Do?

Pease run "./pvs -http" and open "http://localhost:5050/testjavascript_svg.html" with your web browser (firefox/chrome/opera...)

please start pvserver with: ./pvs -http

JavaScript can change HTML content.