samowre/PVS — pull request #38 by thehogfather (2014-07-29 15:06:57+00:00)
Title: Javascript tools submodules

This adds a folder (javascript/) containing two web-based tools (pvsio-web and ProofExplorer) for interacting with PVS. The tools are included as git submodules.